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.
  ☆227Updated 6 months ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆287Updated 4 years ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆701Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆107Updated 9 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆260Updated last year
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆405Updated 6 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 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.
  ☆301Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• mathjax / MathJax-demos-node
  A repository with examples using mathjax-v3 in NodeJS
  ☆111Updated 2 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆480Updated last month
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆297Updated this week
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆535Updated this week
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆251Updated 3 weeks ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated 3 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆276Updated 4 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆835Updated 2 years ago
• alvinwan / tex2py
  converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy
  ☆94Updated 6 years ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆146Updated last year
• plastex / plastex
  plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…
  ☆326Updated 8 months ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆374Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• wo / tpg
  Tree Proof Generator
  ☆175Updated 8 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆116Updated 2 years ago
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆360Updated 4 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago