Alternatives and similar repositories for cfg-checker

Users that are interested in cfg-checker are comparing it to the libraries listed below

• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆77Updated 3 weeks ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆30Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated last month
• msullivan / sml-util
  A handful of potentially useful crap for Standard ML
  ☆21Updated 7 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆42Updated 7 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 4 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated last month
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆38Updated 2 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 4 years ago
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last month
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆75Updated 6 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆56Updated 4 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated this week
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago