Alternatives and similar repositories for cfgrammar-tool

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

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆228Updated 2 weeks 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.
  ☆301Updated last year
• approach0 / search-engine
  A math-aware search engine.
  ☆349Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆286Updated 4 years ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆703Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• w3c / mathml
  MathML4 editors draft
  ☆72Updated last week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 2 weeks ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆110Updated 10 months ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 3 years ago
• mathjax / MathJax-demos-node
  A repository with examples using mathjax-v3 in NodeJS
  ☆112Updated 2 months ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆64Updated 3 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆386Updated 9 months ago
• oerpub / mathconverter
  Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
  ☆59Updated 6 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆384Updated 2 weeks ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆146Updated last year
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆299Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated 3 weeks ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆251Updated last month
• cdchoy / ppcc
  A Powerpoint CPU
  ☆94Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆336Updated 2 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆612Updated 5 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last month