Popular repositories Loading

1. idrisjs idrisjs Public

   Js libraries for idris

   Idris 49 6

2. ifui ifui Public

   Idris libraries to create user interfaces

   Idris 5

3. Idris2-1 Idris2-1 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris 1

4. BERT-JS BERT-JS Public

   Forked from rustyio/BERT-JS

   Javascript implementation of BERT serialization (Binary ERlang Term).

   JavaScript

5. prob_calc prob_calc Public

   Basic probatility calculator

   Java

6. lightyear lightyear Public

   Forked from ziman/lightyear

   Parser combinators for Idris

   Idris