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☆165Updated 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
- A minimal proof language.☆206Updated 6 years ago
- Simplified Observational Type Theory☆83Updated 2 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Thoughts and stuff☆69Updated 5 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Absal ex☆57Updated last year
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 9 years ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 11 months ago
- A couple of Haskell beginner projects, for ZuriHac 2016☆44Updated 7 years ago
- Hope programming language interpreter☆41Updated 3 weeks ago
- Summer school on programming in Agda☆68Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago