diku-dk / hpps-e2021-pubLinks
Public repository for the HPPS course
☆17Updated 3 years ago
Alternatives and similar repositories for hpps-e2021-pub
Users that are interested in hpps-e2021-pub are comparing it to the libraries listed below
Sorting:
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆54Updated last month
- Fast equality saturation in Haskell☆84Updated this week
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- apkg - package manager for Agda☆38Updated 4 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆54Updated 3 years ago
- A type theory for tiny objects☆17Updated last year
- Meta-programming utilities for Agda.☆19Updated last week
- antifunext☆34Updated last year
- Formal Topology in Univalent Foundations (WIP).☆36Updated 2 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- A place to collect work on dialectica categories.☆26Updated last week
- Proof automation – for Agda, in Agda.☆44Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- CS410 "Advanced Functional Programming"☆25Updated 2 months ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Updated 6 years ago
- Topos theory in lean☆63Updated 4 years ago
- LaTeX code for a paper on lean's type theory☆139Updated 2 years ago
- ☆34Updated 8 months ago
- Lecture notes on realizability☆74Updated 4 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Updated last month
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- SDL2 bindings for lean☆22Updated last year
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- Embedding Pointful Array Programming in Python☆17Updated 10 months ago
- ☆21Updated 4 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year