MaxwellBo / well-documented
📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
☆58Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for well-documented
- Cryptographic library for Haskell☆68Updated last month
- Compiler for the Rum language☆25Updated 5 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- scriptable strace☆123Updated 4 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Absal ex☆55Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- ☆41Updated 7 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆61Updated 7 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 5 years ago
- CLI string generator based on regex-like operations☆38Updated 4 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆95Updated 2 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago