Alternatives and similar repositories for cfgrammar-tool

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

• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 8 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 4 months 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.
  ☆299Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated last month
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 4 years ago
• rebornix / vscode-prolog
  Prolog language support for Visual Studio Code
  ☆19Updated 4 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆294Updated this week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆328Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆696Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated this week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆227Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• wo / tpg
  Tree Proof Generator
  ☆172Updated 6 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆347Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 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…
  ☆114Updated 5 months ago
• grey-area / complex-power-tower
  ☆14Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆382Updated 6 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆534Updated last week
• mathjax / MathJax-demos-node
  A repository with examples using mathjax-v3 in NodeJS
  ☆110Updated last week
• alvinwan / tex2py
  converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy
  ☆94Updated 6 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆378Updated 3 weeks ago
• leanprover / elan
  The Lean version manager
  ☆429Updated this week