Popular repositories Loading

1. TypOS TypOS Public

   being an operating system for typechecking processes

   Haskell 126 1

2. ZEUG ZEUG Public

   being the beginnings of at least zero typecheckers

   TeX 33

3. ask ask Public

   being a particular fragment of Haskell, extended to a proof system

   Haskell 32 2

4. cs410-advanced-functional-programming cs410-advanced-functional-programming Public

   CS410 "Advanced Functional Programming"

   Agda 24

5. platypus platypus Public

   Haskell 21 1

6. Mary Mary Public

   Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git

   Haskell 17 1