Alternatives and similar repositories for cfgrammar-tool

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

• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆223Updated 2 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 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
• rebornix / vscode-prolog
  Prolog language support for Visual Studio Code
  ☆19Updated 4 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆372Updated last month
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• eprover / eprover
  ☆146Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆284Updated 3 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆144Updated 8 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆218Updated 10 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 3 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 10 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 4 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆461Updated 2 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• wikimedia / mediawiki-services-mathoid
  Using MathJax and PhantomJS to create SVGs and MathML server side. Mirror of https://gerrit.wikimedia.org/g/mediawiki/services/mathoid
  ☆96Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated 2 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated 3 weeks ago
• mzmcbride / database-reports
  MediaWiki database reports
  ☆34Updated 5 months ago
• google / compynator
  A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…
  ☆89Updated 4 years ago
• lark-parser / vscode-lark
  ☆32Updated 2 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• leanprover-community / tutorials
  Some Lean tutorials
  ☆184Updated last year