diku-dk / pmph-e2020-pubLinks
PMPH course 2020 public repo
☆13Updated last year
Alternatives and similar repositories for pmph-e2020-pub
Users that are interested in pmph-e2020-pub are comparing it to the libraries listed below
Sorting:
- The Iowa Agda Library☆53Updated last month
- Parallel Functional Programming, 2020☆16Updated last year
- being an operating system for typechecking processes☆130Updated 2 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 2 years ago
- High level commands to declare a hierarchy based on packed classes☆103Updated last week
- Emacs mode for Lean☆68Updated 2 years ago
- Convert Haskell source code to Coq source code.☆93Updated 5 months ago
- ☆36Updated 4 years ago
- high-performance cubical evaluation☆76Updated 7 months ago
- Fast equality saturation in Haskell☆92Updated this week
- Formalizations of Gradually Typed Languages in Agda☆59Updated this week
- Haskell bindings for MLIR☆117Updated last week
- an implementation of stuck macros☆149Updated 2 weeks ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆27Updated last month
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Horn Clause Constraint Solving for Liquid Types☆155Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- A work-in-progress core language for Agda, in Agda☆61Updated last week
- ☆44Updated 3 years ago
- Total Parser Combinators in Agda☆132Updated 4 months ago
- SPLV20 course notes☆114Updated 3 years ago
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 4 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Selected Papers of Dana S. Scott☆169Updated last year
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- joke page until I decide what to do with this domain name☆39Updated 5 months ago
- Lecture notes on realizability☆75Updated 10 months ago
- A toolkit for enforcing logical specifications on neural networks☆118Updated this week
- PhD course on Functional Programming and Climate Impact Research☆50Updated 3 months ago