Pinned Loading

1. research research Public

   Work in progress

   Agda 40

2. idris-bash idris-bash Public archive

   GNU bash backend for Idris

   Haskell 52 3

3. charity-lang charity-lang Public

   Charity language interpreters and literature

   C 114 8

4. et-lang et-lang Public

   ET (IPL) language interpreters and literature

   Standard ML 26 3

5. total-fp total-fp Public

   Total functional programming (ESFP) literature

   187 12

6. totally-fp totally-fp Public

   Totally functional programming literature

   60 6