Popular repositories Loading

1. GeoHashSIMD GeoHashSIMD Public

   C# 1

2. misc misc Public

   misc haskell

   Haskell

3. exercise exercise Public

   JavaScript

4. lightyear lightyear Public

   Forked from ziman/lightyear

   Parser combinators for Idris

   Idris

5. idris-mode idris-mode Public

   Forked from idris-hackers/idris-mode

   Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

   Emacs Lisp

6. idris-webgl idris-webgl Public

   Forked from mankyKitty/idris-webgl

   Experimentation with Idris and WebGL via JavaScript FFI

   Idris