Pinned Loading

1. PomPom-Language PomPom-Language Public

   The cuteness implementation of a dependently typed language.

   Haskell 189 6

2. Kei Kei Public

   A small and expressive dependently typed language

   Haskell 129 3

3. Formalization-of-Fundamental-Theorem-of-Arithmetic Formalization-of-Fundamental-Theorem-of-Arithmetic Public

   Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma

   Coq 1

4. C-funny-trash-things C-funny-trash-things Public

   This repository almost work...almost fail.

   C 7

5. Skear Skear Public

   A (ongoing) social language learning app written in react-native.

   JavaScript

6. HigherOrderCO/Kind HigherOrderCO/Kind Public

   A modern proof language

   Haskell 3.6k 144