mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆232Updated 3 weeks ago
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☆220Updated last year
- Tree Proof Generator☆177Updated last month
- metamath proof enumerators and other things☆93Updated 2 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- BNF Converter☆618Updated 2 weeks ago
- Finite State Machine Designer☆313Updated 2 years 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…☆74Updated 5 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- The Incredible Proof Machine☆386Updated 2 months ago
- The Vampire Theorem Prover☆392Updated this week
- A terse declarative logic programming language☆118Updated 5 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Metamath program - source code for the Metamath executable☆94Updated 2 months ago
- A minimalist esolang☆85Updated 7 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆537Updated 3 weeks ago
- A golfing language that is probably terrible☆84Updated 6 months ago
- A place to draft the answers for the tetris PPCG challenge☆31Updated 8 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆280Updated 4 years ago
- Proving leftpad correct two-dozen different ways☆718Updated 9 months ago
- ☆14Updated last year
- Japt 1.4.5, the other JavaScript golfing language☆75Updated 4 years ago
- The HOL Light theorem prover☆503Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 8 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆138Updated this week
- ☆347Updated 7 years ago
- Visual Studio Code extension for Coq☆432Updated 2 months ago
- ☆164Updated 2 weeks ago
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- Metamath source file for logic and set theory☆302Updated this week
- The Wyvern programming language.☆560Updated 2 weeks ago