mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆228Updated 2 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
- Finite State Machine Designer☆310Updated 2 years ago
- Tree Proof Generator☆175Updated 9 months ago
- BNF Converter☆612Updated 2 weeks ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- The Incredible Proof Machine☆386Updated 9 months ago
- An automated theorem prover for first-order logic.☆242Updated 4 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…☆73Updated 5 years ago
- A terse declarative logic programming language☆118Updated 5 years ago
- This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.☆47Updated 9 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- A golfing language that is probably terrible☆84Updated 4 months ago
- ☆40Updated 10 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- ☆345Updated 7 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- Program Synthesis Course☆264Updated last year
- A port of Coq to Javascript -- Run Coq in your Browser☆536Updated last week
- Optimal evaluator of λ-calculus terms.☆282Updated 2 years ago
- The Vampire Theorem Prover☆368Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆398Updated 11 months ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆82Updated 4 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A place to draft the answers for the tetris PPCG challenge☆31Updated 8 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆172Updated last year
- The HOL Light theorem prover☆485Updated 3 weeks ago
- Spoofax runtime☆154Updated 7 months ago