Popular repositories Loading

1. tests tests Public

   Haskell 1

2. bigdata bigdata Public

   Python

3. kaleidoscope kaleidoscope Public

   Forked from sdiehl/kaleidoscope

   Haskell LLVM JIT Compiler Tutorial

   Haskell

4. llvm-hs-examples llvm-hs-examples Public

   Forked from llvm-hs/llvm-hs-examples

   Examples for Haskell bindings to LLVM

   Haskell

5. composing-contracts composing-contracts Public

   Composing contracts: an adventure in financial engineering

   Haskell 3

6. Netrium Netrium Public

   Forked from netrium/Netrium

   Pre­cise descrip­tion and oper­a­tional exe­cu­tion of exotic contracts.

   Haskell