Popular repositories Loading

1. idris-go idris-go Public

   A Go backend for Idris

   Haskell 15 1

2. awc awc Public archive

   A Wayland compositor

   Swift 14

3. pony-ast-explorer pony-ast-explorer Public

   Interactively explore Pony ASTs

   Python 6

4. kitbot kitbot Public archive

   Mirror of the KIT jabber bot repository.

   Python 5 2

5. sandbox sandbox Public

   Mirror of the cdt sandbox

   Mathematica 4 2

6. rexplector rexplector Public

   A crude hack to visualize how OpenJDK matches regular expressions.

   Scala 4 1