Alternatives and similar repositories for grammophone

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

• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 9 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• BNFC / bnfc
  BNF Converter
  ☆602Updated 2 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆112Updated 11 months ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated last month
• histocrat / hello_world
  ☆40Updated 9 years ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆118Updated 2 years ago
• eprover / eprover
  ☆142Updated this week
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• rocq-archive / automata
  Beginning of formal language theory
  ☆23Updated 5 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 3 months ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆231Updated last month
• vprover / vampire
  The Vampire Theorem Prover
  ☆339Updated this week
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆190Updated 2 weeks ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years 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
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆208Updated last month
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week