Pinned Loading

1. numpile numpile Public

   A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

   Jupyter Notebook 403 52

2. arithmetic-circuits arithmetic-circuits Public

   Arithmetic circuits for zero knowledge proof systems

   Haskell 82 13

3. llvm-hs/llvm-hs llvm-hs/llvm-hs Public

   Haskell bindings for LLVM

   LLVM 501 118

4. tinyjit tinyjit Public

   Haskell JIT

   Haskell 181 10

5. wiwinwlh wiwinwlh Public

   What I Wish I Knew When Learning Haskell

   Haskell 2.6k 240

6. write-you-a-haskell write-you-a-haskell Public

   Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

   Haskell 3.3k 256