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
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• aymannadeem / speedyscholar
  Summaries of academic papers
  ☆20Updated 6 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• Alhadis / language-grammars
  Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
  ☆21Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 6 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆100Updated 4 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆214Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 9 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆47Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• oerpub / mathconverter
  Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
  ☆56Updated 5 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• 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
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆71Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• jon-jacky / FLiP
  F L i P : Logical Framework in Python
  ☆36Updated 2 years ago