dikurevy / Public-ArchiveLinks
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 6 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:
- Parallel Functional Programming, 2020☆16Updated last year
- a simple infoscreen system☆12Updated 3 weeks ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 7 months ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 8 months ago
- HTTP utility library for Standard ML☆11Updated 2 years ago
- Untitled PL Card Game☆20Updated 4 years ago
- A better version of KU's course catalogue☆21Updated last week
- a proof-of-concept programming language based on call-by-push-value☆55Updated last week
- A core language and API for dependently typed languages☆97Updated 7 months ago
- Haskell implementation of the QOI image format☆17Updated 2 years ago
- Course website for Data Parallel Programming at DIKU☆12Updated 9 months ago
- Total Parser Combinators in Agda☆132Updated last month
- ☆11Updated 4 months ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- an implementation of stuck macros☆145Updated last week
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- ☆25Updated last year
- LLVM code generation in Haskell☆54Updated 10 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 2 weeks ago
- A simple functional programming language.☆22Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- Library to create Coq record update functions☆48Updated 2 weeks ago
- How do I DIKU? How indeed.☆28Updated 3 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 3 months ago
- Check cross-references in repository documents☆55Updated 5 months ago
- Call Futhark programs from Standard ML☆10Updated last month