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☆166Updated 4 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Thoughts and stuff☆70Updated 5 years ago
- ☆96Updated 10 years ago
- ☆35Updated 6 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- Totally functional programming literature☆60Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A couple of Haskell beginner projects, for ZuriHac 2016☆44Updated 7 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- A minimal proof language.☆208Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- xmonad in Coq☆46Updated 13 years ago
- Summer school on programming in Agda☆68Updated 2 years ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- Hope programming language interpreter☆41Updated 3 months ago
- A workspace for research teams☆105Updated 5 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆51Updated 10 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Absal ex☆58Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- The theory of groups☆80Updated last year