ryukinix / discrete-mathematicsLinks
A computational way to study discrete mathematics using Haskell
☆73Updated 6 years ago
Alternatives and similar repositories for discrete-mathematics
Users that are interested in discrete-mathematics are comparing it to the libraries listed below
Sorting:
- A book on programming languages, using Haskell☆167Updated 4 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Slides & demos for talks I do☆58Updated 3 months ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Thoughts and stuff☆70Updated 5 years ago
- ☆96Updated 11 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Summer school on programming in Agda☆68Updated 2 years ago
- ☆36Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 4 years ago
- Compiler for the Rum language☆26Updated 6 years ago
- Simplified Observational Type Theory☆87Updated 2 years ago
- Classic games recreated in netwire☆95Updated 8 years ago
- Absal ex☆58Updated 2 years ago
- xmonad in Coq☆46Updated 13 years ago
- A minimal proof language.☆212Updated 7 years ago
- Tiny type-checker with dependent types☆78Updated 12 years ago
- A workspace for research teams☆106Updated 6 years ago
- compile your own functional language☆36Updated 6 years ago
- Porting of software foundations book to Agda☆39Updated 11 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆108Updated 8 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Updated 5 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago