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 3 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 11 months ago
- Generic package manager for Standard ML libraries and programs☆168Updated 3 weeks ago
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 6 months ago
- Call Futhark programs from Standard ML☆11Updated 4 months ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆31Updated last year
- Arthur's Formal Metatheory in Coq☆18Updated last year
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- ☆45Updated 8 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆67Updated last year
- Library to create Coq record update functions☆48Updated 3 weeks ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆35Updated last year
- A simple functional programming language.☆22Updated 4 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated this week
- IO for Gallina☆33Updated 3 weeks ago
- Work in progress☆38Updated 6 months ago
- Monadic effects and equational reasoning in Rocq☆73Updated 3 weeks ago
- Typing the linear pi calculus in Agda☆29Updated 3 years ago
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- The first ever roguelike written in the OCaml type system☆93Updated 8 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- A core language and API for dependently typed languages☆96Updated 10 months ago
- Yet Another deep embedding of Linear Logic in Coq☆16Updated 3 months ago
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- Machine-checked Agda formalization for the ILC project☆15Updated 7 years ago