Popular repositories Loading

1. gl-idris gl-idris Public

   Idris 13 7

2. SDL2-idris SDL2-idris Public

   SDL2 Bindings for the Idris programming language

   Idris 10 7

3. cairo-idris cairo-idris Public

   Idris Bindings for libcairo

   Idris 6 1

4. idris-tutorial idris-tutorial Public

   A tutorial to explain Idris to myself

   Idris 3 1

5. glfw-idris glfw-idris Public

   GLFW bindings for Idris

   Idris 3 2

6. akka akka Public

   Forked from akka/akka

   Akka Transactors

   Scala 1