dikurevy / Public-ArchiveLinks
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 3 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 9 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- Slides til infoskærmen☆8Updated last month
- Call Futhark programs from Standard ML☆10Updated last month
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 5 months ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆30Updated 10 months ago
- PMPH course 2020 public repo☆12Updated last year
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- An in-browser Beamer presentation viewer☆17Updated last year
- A better version of KU's course catalogue☆19Updated last month
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- Futhark integration for Rust projects☆12Updated 4 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Generic package manager for Standard ML libraries and programs☆165Updated 5 months ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Web server infrastructure for Standard ML☆13Updated last year
- Constructive Galois connections☆32Updated 7 years ago
- The Kleenex programming language☆55Updated 8 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 4 months ago
- Coherence typechecker for infinity categories☆19Updated last month
- Work in progress on semi-simplicial types☆23Updated 2 years ago
- Formalising session types in Coq☆17Updated 5 years ago
- Command-like expressions for real infinite-precision calculations☆50Updated last month
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Updated 2 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 2 months ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago