mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆222Updated last month
Alternatives and similar repositories for grammophone
Users that are interested in grammophone are comparing it to the libraries listed below
Sorting:
- JavaScript library for working with automata and grammars for regular and context-free languages☆216Updated 10 months ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆72Updated 4 years ago
- BNF Converter☆602Updated 3 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- A terse declarative logic programming language☆118Updated 4 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Tree Proof Generator☆170Updated 4 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last month
- metamath proof enumerators and other things☆94Updated 11 months ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Modal Logic Playground☆370Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- The K tools (deprecated, see README)☆146Updated 7 years ago
- The Vampire Theorem Prover☆340Updated this week
- SWI-Prolog stable releases☆226Updated 6 months ago
- Finite State Machine Designer☆305Updated last year
- The Incredible Proof Machine☆377Updated 3 months ago
- The Git repository for the mCRL2 toolset.☆100Updated this week
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- An Open Encyclopedia of Proof Systems☆118Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- The HOL Light theorem prover☆458Updated last week
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated last month
- ☆343Updated 7 years ago
- Metamath Zero specification language☆342Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆376Updated 5 months ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- Lem semantic definition language☆139Updated 3 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago