dikurevy / Public-Archive
Public archive of material performed on stage through the life time of DIKUrevy
☆27Updated 2 weeks ago
Alternatives and similar repositories for Public-Archive:
Users that are interested in Public-Archive are comparing it to the libraries listed below
- a simple infoscreen system☆12Updated 6 months ago
- Slides til infoskærmen☆8Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Parallel Functional Programming, 2020☆16Updated last year
- Generic package manager for Standard ML libraries and programs☆165Updated 2 months ago
- Call Futhark programs from Standard ML☆10Updated 6 months ago
- How do I DIKU? How indeed.☆24Updated 2 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated last month
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- Git repository containing the Futhark website.☆10Updated this week
- The Kleenex programming language☆55Updated 5 months ago
- Advent of Futhark☆13Updated 4 months ago
- Course website for Data Parallel Programming at DIKU☆10Updated 3 months ago
- PMPH course 2020 public repo☆12Updated last year
- A better version of KU's course catalogue☆19Updated 3 months ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Lua backend for Idris 2☆27Updated 2 years ago
- Text generation language☆33Updated last month
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- ☆18Updated 2 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- Generation of abstract binding trees☆28Updated 5 months ago
- Linear algebra package for Futhark☆17Updated 2 months ago
- Tool for detecting bad style in Standard ML programs☆16Updated 6 years ago
- Data frames for Idris 2☆21Updated 2 years ago
- A core language and API for dependently typed languages☆90Updated last month
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago