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.
  ☆224Updated 4 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 3 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated last week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆307Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 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
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years 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…
  ☆114Updated 5 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆125Updated this week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆199Updated 3 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆291Updated this week
• nomeata / incredible
  The Incredible Proof Machine
  ☆380Updated 6 months ago
• rebornix / vscode-prolog
  Prolog language support for Visual Studio Code
  ☆19Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆95Updated 4 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• formalabstracts / formalabstracts
  ☆165Updated 5 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last month
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆325Updated last year