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.
  ☆211Updated 2 months ago
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆27Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆37Updated last year
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆46Updated last week
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆70Updated last year
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆185Updated 3 weeks ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 3 weeks ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 8 months ago
• leanprover / lean-client-js
  ☆37Updated last year
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆339Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆55Updated last week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆120Updated this week
• lark-parser / vscode-lark
  ☆30Updated last year
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last week
• 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…
  ☆116Updated 5 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 6 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆523Updated 3 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆34Updated this week
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆112Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆277Updated 3 years ago