Popular repositories Loading

1. 4clojure-solving-bot 4clojure-solving-bot Public

   A bot that solves 4clojure problems

   Clojure 6

2. OcamlMOOC OcamlMOOC Public

   Pull-requestable repo for the OCaml MOOC subtitles

   4 4

3. dotxmonad dotxmonad Public

   Haskell 1

4. robozzle-hs robozzle-hs Public

   A small Haskell implementation of the famous RoboZZle puzzle game

   Haskell 1

5. dotvimrc dotvimrc Public

   Vim Script

6. pirana pirana Public

   PI-calculus Resources ANAlyzer

   Haskell