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:
- Write yourself a typed functional language☆65Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- ☆96Updated 10 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- Haskell Language Report☆91Updated 5 years ago
- Thoughts and stuff☆69Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A book on programming languages, using Haskell☆164Updated 4 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- A couple of Haskell beginner projects, for ZuriHac 2016☆44Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A minimal proof language.☆205Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 3 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 3 weeks ago
- Haskell Pretty-printer library☆73Updated 6 months ago
- Summer school on programming in Agda☆68Updated last year
- A workspace for research teams☆105Updated 5 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- xmonad in Coq☆46Updated 12 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- ☆35Updated 6 years ago