Pinned Repositories
llvm-hs
Haskell bindings for LLVM
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
gevent-tutorial
Gevent tutorial for the Working Python Developer
kaleidoscope
Haskell LLVM JIT Compiler Tutorial
minichat
Minimal realtime chat application ( Tutorial )
numpile
A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
tinyjit
Haskell JIT
wasm
Haskell compiler infastructure for WebAssembly
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/)
sdiehl's Repositories
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
sdiehl/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
sdiehl/numpile
A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
sdiehl/gevent-tutorial
Gevent tutorial for the Working Python Developer
sdiehl/kaylee
MapReduce with ZeroMQ
sdiehl/repline
Haskeline wrapper for GHCi-like REPL interfaces
sdiehl/zkp
A framework to execute and verify algorithms using Groth16 zkSNARKs.
sdiehl/arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
sdiehl/cabal-edit
A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
sdiehl/pairing
Optimised bilinear pairings over elliptic curves
sdiehl/galois-field
Finite field and algebraic extension field arithmetic
sdiehl/sonic
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
sdiehl/elliptic-curve
A polymorphic interface for elliptic curve operations
sdiehl/vim-ormolu
Plugin for formatting Haskell source code
sdiehl/paris-fp
Paris Functional Programming Meetup
sdiehl/dotfiles
My config files
sdiehl/galois-fft
Finite field polynomial arithmetic based on fast Fourier transforms
sdiehl/datetime
Financial datetimes and holiday recurrence rules
sdiehl/awesome-crypto-critique
Awesome critique of crypto / web3. Aim for this to be high quality and constructive (where possible!)
sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
sdiehl/vim-cabalfmt
Cabal-fmt vim plugin for formatting Cabal package files
sdiehl/picologic
Symbolic logic expressions
sdiehl/validation
Applicative data validation
sdiehl/located
Source location helpers
sdiehl/alex-tools
A Haskell library making it easier to write Alex lexers.
sdiehl/django-river
Django workflow library that supports on the fly changes ⛵
sdiehl/haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
sdiehl/layout-rules
Layout implementations