dikurevy / Public-ArchiveLinks
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 9 months ago
Alternatives and similar repositories for Public-Archive
Users that are interested in Public-Archive are comparing it to the libraries listed below
Sorting:
- a simple infoscreen system☆12Updated 4 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆32Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆24Updated 7 months ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated this week
- Call Futhark programs from Standard ML☆11Updated 4 months ago
- A simple functional programming language.☆22Updated 4 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated last year
- Total Parser Combinators in Agda☆132Updated 5 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 3 months ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- Subtyping calculus of inductive constructions☆56Updated 2 years ago
- being bits and pieces I'm inclined to leave lying around☆55Updated 6 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆101Updated 3 years ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Haskell implementation of the QOI image format☆17Updated 2 years ago
- Coq utility and tactic library.☆27Updated 2 years ago
- ☆26Updated last year
- Staged compilation with dependent types☆186Updated 8 months ago
- an implementation of stuck macros☆149Updated 2 weeks ago
- Pure functional programming with whole-program mutability inference☆79Updated 3 weeks ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆67Updated last year
- A core language and API for dependently typed languages☆97Updated 10 months ago
- Language Server for Agda☆121Updated 2 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆48Updated 2 weeks ago
- HTTP utility library for Standard ML☆11Updated 2 years ago