kantinen / kantinfoLinks
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
Sorting:
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 9 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Generic package manager for Standard ML libraries and programs☆168Updated 3 weeks ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 11 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆30Updated 9 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Updated 3 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- coinduction library for Coq☆21Updated last month
- A Dependently Timed Drum Machine Language☆10Updated last year
- Library to create Coq record update functions☆48Updated 3 weeks ago
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- A (formalised) general definition of type theories☆58Updated 4 years ago
- (λ) Educational lambda calculus interpreter☆73Updated 4 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆30Updated 2 weeks ago
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Updated 4 years ago
- Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE☆14Updated 6 years ago
- Work in progress☆38Updated 6 months ago
- An automatic theorem prover for first order logic with equality☆31Updated 5 years ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆47Updated last year
- Hanoi tower in Coq☆26Updated 5 months ago
- ML Basis for Poly/ML☆11Updated 2 months ago
- Machine-checked Agda formalization for the ILC project☆15Updated 7 years ago