MaxwellBo / well-documented
📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
☆60Updated 3 years ago
Alternatives and similar repositories for well-documented:
Users that are interested in well-documented are comparing it to the libraries listed below
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Cryptographic library for Haskell☆67Updated this week
- Compiler for the Rum language☆26Updated 5 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- CLI string generator based on regex-like operations☆38Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆31Updated 4 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- Noether programming language☆126Updated 7 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- Inline, type safe X86-64 assembly programming in Agda☆68Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- SKI combinators☆53Updated 7 years ago