Alternatives and similar repositories for cfgrammar-tool:

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

• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 months ago
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• lagodiuk / earley-parser-js
  Tiny JavaScript implementation of context-free languages parser - Earley parser (including generation of the parsing-forest).
  ☆118Updated 7 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• lark-parser / vscode-lark
  ☆30Updated last year
• 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
  ☆192Updated 2 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆56Updated last week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆53Updated 6 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated 9 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last month
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated 2 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆113Updated last month
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated this week
• digitalheir / probabilistic-earley-parser-javascript
  🎲 An efficient implementation of a probabilistic Context Free Grammar parser in Javascript
  ☆55Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆277Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated this week
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆24Updated 2 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago