dikurevy / Public-Archive
Public archive of material performed on stage through the life time of DIKUrevy
☆26Updated 7 months ago
Related projects: ⓘ
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- a simple infoscreen system☆12Updated 2 years ago
- PMPH course 2020 public repo☆12Updated 8 months ago
- Call Futhark programs from Standard ML☆10Updated last week
- Slides til infoskærmen☆8Updated last month
- The official interpreter for the Jeopardy language☆16Updated last year
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated last year
- HTTP utility library for Standard ML☆11Updated 11 months ago
- A Futhark binding generator for Rust and OCaml☆27Updated 7 months ago
- ☆32Updated 10 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Parallel ML benchmark suite☆12Updated 2 weeks ago
- Web server infrastructure for Standard ML☆13Updated 11 months ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆15Updated 8 months ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- DIKU Support Tools for Canvas LMS☆13Updated this week
- Tutorial for using the MPL compiler for Parallel ML☆18Updated 7 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆27Updated last month
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆33Updated last year
- IO for Gallina☆30Updated this week
- Formalising session types in Coq☆17Updated 5 years ago
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago
- Efficient binder representation in OCaml☆39Updated 2 months ago
- Generation of abstract binding trees☆26Updated 2 weeks ago
- Constructive Galois connections☆32Updated 6 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated 3 weeks ago
- Work in progress☆32Updated 2 months ago
- Signature documentation tool for Standard ML☆14Updated 11 months ago