MaxwellBo / well-documented
📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
☆59Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for well-documented
- Cryptographic library for Haskell☆68Updated last month
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Compiler for the Rum language☆25Updated 5 years ago
- CLI string generator based on regex-like operations☆38Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- educational compiler for not (quite) toy languages☆20Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- ☆41Updated 7 years ago
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- SKI combinators☆50Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Edison: A Library of Efficient Data Structures☆55Updated 11 months ago
- GNU bash backend for Idris☆53Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆31Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- A Smarter QuickCheck☆102Updated 7 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- The theory of groups☆75Updated last year
- Abstracting Definitional Interpreters☆67Updated 6 years ago
- A CHIP-8 Emulator written in Haskell☆38Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆61Updated 7 years ago