Popular repositories Loading

1. core-to-isabelle core-to-isabelle Public

   Translator from GHC Core to Isabelle/HOLCF

   Emacs Lisp 17 4

2. dtrace dtrace Public

   Haskell bindings to DTrace

   Haskell 8 1

3. dalvik dalvik Public

   Haskell parser for Dalvik bytecode

   Haskell 5 8

4. hsquicklook hsquicklook Public

   A QuickLook plugin for Haskell syntax highlighting

   3

5. language-c-uniplate language-c-uniplate Public

   Uniplate instances for data types from the language-c package

   Haskell 1

6. language-c-binary language-c-binary Public

   Binary instances for data types from the langauge-c package

   Haskell 1