Alternatives and similar repositories for cfgrammar-tool

Users that are interested in cfgrammar-tool are comparing it to the libraries listed below

• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆62Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 3 weeks ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆284Updated this week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 9 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆122Updated this week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆458Updated last week
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 2 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated last month
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆7Updated 8 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆263Updated 4 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• Alhadis / language-grammars
  Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
  ☆21Updated 2 years ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated last week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated 2 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆210Updated last week