Popular repositories Loading

1. Idris2-boot Idris2-boot Public

   A dependently typed programming language, a successor to Idris

   Idris 902 57

2. Blodwen Blodwen Public

   A prototype successor to Idris

   Idris 539 36

3. idris-php idris-php Public

   Yes, really...

   Haskell 172 14

4. TypeDD-Samples TypeDD-Samples Public

   Sample code from "Type Driven Development with Idris"

   Idris 162 42

5. SPLV20 SPLV20 Public

   SPLV20 course notes

   Idris 106 34

6. Yaffle Yaffle Public

   A core language and API for dependently typed languages

   Idris 89 17