kantinen / kantinfo
a simple infoscreen system
☆12Updated 3 months ago
Alternatives and similar repositories for kantinfo:
Users that are interested in kantinfo are comparing it to the libraries listed below
- Slides til infoskærmen☆8Updated this week
- Public archive of material performed on stage through the life time of DIKUrevy☆26Updated 11 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Generic package manager for Standard ML libraries and programs☆164Updated 2 weeks ago
- Parallel Functional Programming, 2020☆15Updated last year
- DIKU Support Tools for Canvas LMS☆13Updated 4 months ago
- GRIN backend for GHC☆144Updated 3 years ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 4 months ago
- How do I DIKU? How indeed.☆24Updated last week
- PMPH course 2020 public repo☆12Updated last year
- Haskell implementation of the QOI image format☆17Updated last year
- Fast equality saturation in Haskell☆79Updated 8 months ago
- The Kleenex programming language☆54Updated 3 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- Analytic sampler compiler for combinatorial systems☆30Updated 2 years ago
- Git repository containing the Futhark website.☆10Updated this week
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 10 months ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated 2 months ago
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Updated 4 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Experiments with eBPF bytecode☆12Updated 10 months ago
- ☆88Updated 3 years ago
- Agda interaction in vim☆130Updated 3 years ago
- ☆10Updated last month
- An extension for PostgreSQL that allows embedded Haskell code.☆138Updated 4 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 9 months ago