diku-dk / pmph-e2020-pubLinks
PMPH course 2020 public repo
☆12Updated 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:
- Parallel Functional Programming, 2020☆16Updated last year
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆52Updated last month
- CS410 "Advanced Functional Programming"☆24Updated 3 weeks ago
- The Iowa Agda Library☆47Updated 6 months ago
- ☆43Updated 3 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- How do I DIKU? How indeed.☆26Updated last month
- Lecture notes on realizability☆72Updated 3 months ago
- ☆47Updated last week
- high-performance cubical evaluation☆73Updated last month
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆30Updated 9 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Formalizations of Gradually Typed Languages in Agda☆57Updated 4 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Data Parallel Programming☆22Updated last year
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated 3 weeks ago
- ☆36Updated 3 years ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated 2 months ago
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated 2 years ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆26Updated 4 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- High level commands to declare a hierarchy based on packed classes☆99Updated this week