Alternatives and similar repositories for cfg-checker:

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

• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated last month
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆38Updated 3 weeks ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆161Updated 2 weeks ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆49Updated 6 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 6 years ago
• ejgallego / dfuzz
  Linear Dependent Types for Differential Privacy TypeChecker
  ☆31Updated 5 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆89Updated 3 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆186Updated last month
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 4 years ago