Popular repositories Loading

1. TypOS TypOS Public

   being an operating system for typechecking processes

   Haskell 130 2

2. ask ask Public

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

   Haskell 42 3

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 27

5. platypus platypus Public

   Haskell 21 1

6. cs316-functional-programming cs316-functional-programming Public

   CS316 "Functional Programming" lecture notes

   Haskell 18 9