kantinen / kantinfoLinks
a simple infoscreen system
☆12Updated 2 months ago
Alternatives and similar repositories for kantinfo
Users that are interested in kantinfo are comparing it to the libraries listed below
Sorting:
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 7 months ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- A special-purpose processor for pure, non-strict functional languages☆30Updated 9 months ago
- Generic package manager for Standard ML libraries and programs☆166Updated 9 months ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆30Updated last week
- Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE☆14Updated 6 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- Typed, schema-based, composable Redis library for Haskell☆10Updated 3 months ago
- A Dependently Timed Drum Machine Language☆10Updated last year
- Fast equality saturation in Haskell☆88Updated this week
- Haskell bindings to Microsoft's Z3 API (unofficial).☆62Updated last year
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Updated 5 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 5 months ago
- Template for quickly and easily combining happy and alex☆48Updated 10 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated this week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Agda programming with holes☆28Updated 4 years ago
- Data Parallel Programming☆22Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Updated last year
- A simple Idris program to blink the LED on an Arduino☆58Updated 4 years ago
- Simple autograder for Haskell programming assignments☆17Updated 8 months ago
- ☆31Updated 2 years ago
- Analytic sampler compiler for combinatorial systems☆30Updated 3 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 3 weeks ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆113Updated last year
- Organization and planning for the Initial Types Club☆74Updated 3 years ago
- Library for proving propositions quantified over finite sets☆14Updated 3 years ago