Popular repositories Loading

1. TypOS TypOS Public

   being an operating system for typechecking processes

   Haskell 133 2

2. ask ask Public

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

   Haskell 45 4

3. ZEUG ZEUG Public

   being the beginnings of at least zero typecheckers

   TeX 34

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

   CS410 "Advanced Functional Programming"

   Agda 34

5. cs316-functional-programming cs316-functional-programming Public

   CS316 "Functional Programming" lecture notes

   Haskell 22 10

6. platypus platypus Public

   Haskell 21 1