dikurevy / Public-ArchiveLinks
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 2 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
- PMPH course 2020 public repo☆12Updated last year
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- a simple infoscreen system☆12Updated 8 months ago
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- Slides til infoskærmen☆8Updated 2 weeks ago
- Generation of abstract binding trees☆28Updated 7 months ago
- An in-browser Beamer presentation viewer☆17Updated last year
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆30Updated 9 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 3 months ago
- Constructive Galois connections☆32Updated 7 years ago
- Git repository containing the Futhark website.☆10Updated last week
- Partition refinement☆15Updated last year
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Updated 2 years ago
- A reflection-based proof tactic for lattices in Coq☆22Updated last year
- Fast equality saturation in Haskell☆84Updated 3 months ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- Hanoi tower in Coq☆26Updated 2 weeks ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Text generation language☆34Updated 2 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆68Updated last month
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 4 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Futhark integration for Rust projects☆11Updated 3 months ago
- The Rocq Prover Website☆11Updated this week
- IO for Gallina☆34Updated 3 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆31Updated 10 months ago
- Public reference documents for the SMT-LIB standard☆17Updated last week