dikurevy / Public-ArchiveLinks
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 5 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 last week
- Parallel Functional Programming, 2020☆16Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated 11 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆30Updated last year
- Generic package manager for Standard ML libraries and programs☆167Updated 7 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 3 months ago
- a proof-of-concept programming language based on call-by-push-value☆54Updated last week
- HTTP utility library for Standard ML☆11Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- Public repository for the HPPS course☆17Updated 3 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- A core language and API for dependently typed languages☆97Updated 6 months ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 7 months ago
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- an implementation of stuck macros☆145Updated 3 weeks ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆32Updated last year
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆51Updated last year
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated last month
- Course website for Data Parallel Programming at DIKU☆12Updated 8 months ago
- Untitled PL Card Game☆20Updated 4 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆44Updated this week
- being an operating system for typechecking processes☆128Updated 2 years ago
- Library to create Coq record update functions☆48Updated last week
- Haskell implementation of the QOI image format☆17Updated 2 years ago
- Erlang code generator for Idris 2☆142Updated last year
- Total Parser Combinators in Agda☆132Updated 3 weeks ago