kantinen / kantinfo
a simple infoscreen system
☆12Updated last month
Related projects ⓘ
Alternatives and complementary repositories for kantinfo
- Slides til infoskærmen☆8Updated last month
- Public archive of material performed on stage through the life time of DIKUrevy☆26Updated 9 months ago
- The official interpreter for the Jeopardy language☆16Updated last year
- Generic package manager for Standard ML libraries and programs☆162Updated last month
- Parallel Functional Programming, 2020☆15Updated 10 months ago
- PMPH course 2020 public repo☆12Updated 10 months ago
- DIKU Support Tools for Canvas LMS☆13Updated 2 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Public repository for Advanced Programming☆57Updated 3 weeks ago
- ☆12Updated 3 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Public repository for the HPPS course☆17Updated 2 years ago
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- an implementation of stuck macros☆132Updated 3 weeks ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last month
- Agda as a collaborative multiplayer game☆31Updated last month
- Git repository containing the Futhark website.☆10Updated 3 weeks ago
- Signature documentation tool for Standard ML☆14Updated last year
- Public repository for the 2023 edition of HPPS☆19Updated 10 months ago
- Haskell implementation of the QOI image format☆15Updated last year
- Organization and planning for the Initial Types Club☆71Updated 2 years ago
- Template for quickly and easily combining happy and alex☆49Updated 9 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- ☆89Updated 3 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆13Updated 6 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Fast equality saturation in Haskell☆77Updated 6 months ago