Alternatives and similar repositories for cfgrammar-tool:

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

• rebornix / vscode-prolog
  Prolog language support for Visual Studio Code
  ☆19Updated 3 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…
  ☆115Updated 3 weeks ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆138Updated last week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆297Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆193Updated last week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆54Updated 7 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated last month
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆56Updated 3 weeks ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆115Updated 3 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆355Updated last week
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆123Updated 7 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 3 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated this week
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated 3 weeks ago
• lark-parser / vscode-lark
  ☆31Updated last year
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆117Updated 2 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆115Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year