kantinen / kantinfoLinks
a simple infoscreen system
☆12Updated 9 months ago
Alternatives and similar repositories for kantinfo
Users that are interested in kantinfo are comparing it to the libraries listed below
Sorting:
- Slides til infoskærmen☆8Updated last month
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 3 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Generic package manager for Standard ML libraries and programs☆165Updated 5 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated 9 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆29Updated last week
- Call Futhark programs from Standard ML☆10Updated last month
- coinduction library for Coq☆19Updated 3 months ago
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- NbE course @ Chalmers☆28Updated 9 months ago
- Simple autograder for Haskell programming assignments☆17Updated 4 months ago
- Library to create Coq record update functions☆48Updated this week
- Untitled PL Card Game☆20Updated 4 years ago
- (the first half of) an ML compiler☆10Updated 10 years ago
- A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations☆20Updated 7 years ago
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Updated 5 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- A framework for extensible, reflective decision procedures.☆19Updated 5 years ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 5 months ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 6 months ago
- ALGT 2.0☆30Updated 5 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Updated 6 years ago
- A Coq library for parametric coinduction☆49Updated 4 months ago
- Git repository containing the Futhark website.☆10Updated 2 weeks ago