Popular repositories Loading

1. logger-thread logger-thread Public

   A logger thread to collect logging from all threads and send them using FastLogger

   Haskell 7

2. GenericPretty GenericPretty Public

   Forked from RazvanRanca/GenericPretty

   A generic, derivable, haskell pretty printer - Research project, summer of 2011

   Haskell 6 3

3. idris-9front-backend idris-9front-backend Public

   Native 9front C backend for Idris

   Python 5

4. init init Public

   Forked from strake/init

   Simplified Init

   C 4

5. idris-to-9frontc idris-to-9frontc Public

   Translate Idris programs to 9front native C programs

   Haskell 4

6. 9front-patches 9front-patches Public

   my patches to 9front

   HTML 4