diku-dk / pfp-e2020-pubLinks
Parallel Functional Programming, 2020
☆16Updated last year
Alternatives and similar repositories for pfp-e2020-pub
Users that are interested in pfp-e2020-pub are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- PMPH course 2020 public repo☆12Updated last year
- Call Futhark programs from Standard ML☆10Updated last month
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 4 months ago
- HTTP utility library for Standard ML☆11Updated last year
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last month
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ☆29Updated 2 years ago
- Typing the linear pi calculus in Agda☆29Updated 3 years ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- NbE course @ Chalmers☆28Updated 9 months ago
- Coq library for handling names☆19Updated 2 years ago
- being the materials for Summer 2013's course☆112Updated 2 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Updated last year
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- An extension of the NbE algorithm to produce computational traces☆22Updated 3 years ago
- Data Parallel Programming☆22Updated last year
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 6 months ago
- Benchmarking tool for compile-time performance of Agda programs☆19Updated 3 years ago
- antifunext☆34Updated last year
- A formalization of Pure Type Systems (PTS) in Agda☆24Updated 5 months ago
- A simple functional programming language.☆21Updated 4 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- Implementing grep in Agda☆33Updated 4 years ago
- The multimode presheaf proof-assistant☆36Updated 2 years ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Agda formalisation of NbE for λ□☆18Updated 7 years ago
- ☆21Updated 4 years ago