Stephen Diehl
Stephen Diehl
wiwinwlh
What I Wish I Knew When Learning Haskell
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
wasm
Haskell compiler infastructure for WebAssembly
kaleidoscope
Haskell LLVM JIT Compiler Tutorial
numpile
A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
gevent-tutorial
Gevent tutorial for the Working Python Developer
arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
dive-into-ghc
Dive into GHC
schnorr-nizk
Schnorr Protocol for Non-interactive Zero-Knowledge Proofs