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
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Thoughts and stuff☆70Updated 5 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- xmonad in Coq☆46Updated 13 years ago
- ☆35Updated 6 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- Summer school on programming in Agda☆68Updated 2 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Cryptographic library for Haskell☆69Updated 7 months ago
- A workspace for research teams☆105Updated 5 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- ☆95Updated 10 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- A couple of Haskell beginner projects, for ZuriHac 2016☆44Updated 7 years ago
- Absal ex☆58Updated 2 years ago
- compile your own functional language☆36Updated 6 years ago
- Porting of software foundations book to Agda☆39Updated 11 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 13 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago