Alternatives and similar repositories for kantinfo

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

• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 9 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 3 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆170Updated 3 weeks ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆48Updated last month
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆24Updated 7 years ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆11Updated last year
• ghc / nofib
  Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆14Updated 6 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆55Updated 6 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆75Updated 3 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 5 months ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• vqns / polymlb
  ML Basis for Poly/ML
  ☆12Updated 2 months ago
• Deducteam / Dedukti
  Type-checker for the λΠ-calculus modulo rewriting
  ☆224Updated last month
• olydis / coq2latex
  A command-line tool to generate Latex (inference rules) from inductive coq definitions.
  ☆30Updated 9 years ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆21Updated last month
• pigworker / MS4P
  being some thoughts about introductory mathematics for computer science
  ☆17Updated 4 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• uwplse / StructTact
  Coq utility and tactic library.
  ☆27Updated 2 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 7 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆24Updated 7 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆279Updated 3 weeks ago
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated 2 weeks ago