dikurevy / Public-Archive
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated last month
Alternatives and similar repositories for Public-Archive:
Users that are interested in Public-Archive are comparing it to the libraries listed below
- Parallel Functional Programming, 2020☆16Updated last year
- Call Futhark programs from Standard ML☆10Updated 7 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Constructive Galois connections☆32Updated 7 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆29Updated 8 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 2 months ago
- Deadlock freedom by type checking☆20Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- PMPH course 2020 public repo☆12Updated last year
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 3 months ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- The Iowa Agda Library☆47Updated 4 months ago
- a simple infoscreen system☆12Updated 7 months ago
- ☆43Updated 3 years ago
- A formalisation of the Calculus of Constructions☆68Updated 9 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Book about using Lean with How To Prove It☆18Updated 3 months ago
- A Coq to Cedille compiler written in Coq☆33Updated 4 years ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆31Updated 8 months ago
- A programming language with infinite arrays☆31Updated 5 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆65Updated 2 weeks ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- An enhanced unification algorithm for Coq☆55Updated 2 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Slides til infoskærmen☆8Updated last month
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Web server infrastructure for Standard ML☆13Updated last year
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆51Updated 9 months ago