mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆224Updated 4 months 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☆169Updated 6 months ago
- BNF Converter☆607Updated 2 weeks ago
- The Incredible Proof Machine☆378Updated 6 months ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- metamath proof enumerators and other things☆94Updated last year
- The HOL Light theorem prover☆469Updated last month
- A terse declarative logic programming language☆117Updated 5 years ago
- Finite State Machine Designer☆306Updated last year
- The Vampire Theorem Prover☆344Updated last week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆533Updated last month
- A minimalist esolang☆85Updated 7 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 4 years ago
- Metamath program - source code for the Metamath executable☆84Updated last month
- Japt 1.4.5, the other JavaScript golfing language☆74Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- Visual Studio Code extension for Coq☆406Updated 2 weeks ago
- The Ott tool for writing definitions of programming languages and calculi☆379Updated 8 months ago
- ☆343Updated 7 years ago
- ☆40Updated 10 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months 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
- ☆152Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆526Updated 3 months ago
- Math-themed single-serving site☆46Updated 4 years ago
- Metamath Zero specification language☆351Updated 3 weeks ago
- Counterexamples in Type Systems☆402Updated 2 years ago
- Javascript/canvas linguistics syntax tree generator.☆249Updated 3 years ago
- Implementation of the λΠ-calculus modulo rewriting☆213Updated last week