diku-dk / hpps-e2022-pubLinks
Public repository for HPPS 2022
☆21Updated 2 years ago
Alternatives and similar repositories for hpps-e2022-pub
Users that are interested in hpps-e2022-pub are comparing it to the libraries listed below
Sorting:
- Parallel Functional Programming, 2020☆16Updated last year
- Data Parallel Programming☆22Updated last year
- ☆12Updated 4 years ago
- an implementation of stuck macros☆144Updated 2 weeks ago
- Accelerated machine learning with dependent types☆95Updated last week
- Public repository for the HPPS course☆17Updated 3 years ago
- DIKU Support Tools for Canvas LMS☆14Updated 10 months ago
- Benchmarks for capture-avoiding substitution☆119Updated last month
- How do I DIKU? How indeed.☆26Updated last month
- Generic package manager for Standard ML libraries and programs☆165Updated 5 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A less devious proof assistant☆225Updated 2 years ago
- Play/learn/work with me☆106Updated 2 months ago
- A work-in-progress core language for Agda, in Agda☆54Updated last month
- PMPH course 2020 public repo☆12Updated last year
- Public repository for Advanced Programming☆59Updated 5 months ago
- Standard ML Parser Combinator Library☆16Updated 10 months ago
- ☆26Updated last year
- ☆129Updated 3 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆100Updated 9 months ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- ☆86Updated 2 months ago
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆61Updated this week
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- Total Parser Combinators in Agda☆130Updated 2 years ago
- A small implementation of higher-order unification☆189Updated 7 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆17Updated last year
- A formalized proof of a version of the initiality conjecture☆41Updated 4 years ago