Popular repositories Loading

1. lightyear lightyear Public

   Parser combinators for Idris

   Idris 239 43

2. idris-py idris-py Public

   Python backend for Idris (generates Python source, not bytecode).

   Haskell 124 12

3. rarcrack rarcrack Public

   [unofficial fork] RAR bruteforce cracker

   C 110 40

4. pmtu pmtu Public

   Path MTU discovery tool

   Python 37 9

5. itt-idris itt-idris Public

   ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

   Idris 23

6. idris-ocaml idris-ocaml Public

   OCaml back end for Idris

   Haskell 22 3