Alternatives and similar repositories for kantinfo

Users that are interested in kantinfo are comparing it to the libraries listed below

• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated 2 months ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 4 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 6 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• athas / EggsML
  A fully fledged and highly scalable lunch management system for the modern enterprise
  ☆29Updated last week
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• vqns / polymlb
  ML Basis for Poly/ML
  ☆10Updated last month
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 7 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆144Updated this week
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated 2 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆165Updated last month
• nick8325 / quickspec
  Equational laws for free
  ☆259Updated 3 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 2 months ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆21Updated last year
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 3 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆136Updated 5 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• agda / agda-finite-prover
  Library for proving propositions quantified over finite sets
  ☆14Updated 2 years ago
• jfaure / Irie-lang
  Subtyping calculus of inductive constructions
  ☆54Updated last year
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆387Updated this week
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated this week
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆688Updated 3 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• dpiponi / StableBlog
  More stable versions of some articles from my blog
  ☆33Updated 3 months ago