dikurevy / Public-Archive
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
- Slides til infoskærmen☆8Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 8 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 2 months ago
- a simple infoscreen system☆12Updated 7 months ago
- PMPH course 2020 public repo☆12Updated last year
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 4 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- A better version of KU's course catalogue☆19Updated 3 weeks ago
- Generic package manager for Standard ML libraries and programs☆165Updated 3 months ago
- Constructive Galois connections☆32Updated 7 years ago
- Advent of Futhark☆13Updated 5 months ago
- The Kleenex programming language☆55Updated 6 months ago
- Linear algebra package for Futhark☆17Updated 4 months ago
- Public reference documents for the SMT-LIB standard☆16Updated 3 weeks ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- ☆31Updated last year
- The Iowa Agda Library☆47Updated 5 months ago
- Futhark integration for Rust projects☆11Updated 3 months ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆49Updated 3 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆15Updated this week
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 8 months ago
- Coq utility and tactic library.☆24Updated last year
- Optional types for Prolog☆16Updated 5 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 11 months ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Updated 2 years ago