Popular repositories Loading

1. idris-pong idris-pong Public

   A browser Pong game, taking advantage of Idris's ability to compile to javascript.

   Idris 17 2

2. idris-toys idris-toys Public

   An eclectic collection of beginner Idris code

   Idris 6

3. idris-canvas idris-canvas Public

   Idris bindings to and abstractions over the JavaScript Canvas API

   Idris 4

4. dyn-universe dyn-universe Public

   Fun with "Dynamic" Typing: An Introduction to Universes

   Idris 3 1

5. pretty-colors-mode pretty-colors-mode Public

   An emacs mode that colors text according to how deeply it is bracketed

   Emacs Lisp 3 1

6. serpent serpent Public

   A Snake clone in Idris

   JavaScript 3