mdaines / grammophone
A tool for analyzing and transforming context-free grammars.
☆219Updated last week
Alternatives and similar repositories for grammophone:
Users that are interested in grammophone are comparing it to the libraries listed below
- JavaScript library for working with automata and grammars for regular and context-free languages☆214Updated 8 months ago
- BNF Converter☆601Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆370Updated 3 months ago
- The Vampire Theorem Prover☆334Updated this week
- 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
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆524Updated 6 months ago
- Finite State Machine Designer☆300Updated last year
- The Incredible Proof Machine☆374Updated last month
- Tree Proof Generator☆166Updated last month
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- Constraint Logic Programming over Finite Domains☆178Updated 5 years ago
- SWI-Prolog stable releases☆224Updated 4 months ago
- Beginning of formal language theory☆23Updated 5 years ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆658Updated last week
- A terse declarative logic programming language☆118Updated 4 years ago
- git mirror of the Munich isabelle hg repository☆123Updated last week
- Optimal evaluator of λ-calculus terms.☆275Updated 2 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆518Updated 2 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- Implementation of the λΠ-calculus modulo rewriting☆207Updated last week
- ☆231Updated 8 months ago
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆421Updated this week
- An interpreter for learning and exploring pure λ-calculus☆455Updated 4 years ago
- An Open Encyclopedia of Proof Systems☆117Updated 2 years ago
- Some notes taken while working on Prolog☆164Updated last year
- The HOL Light theorem prover☆453Updated 2 weeks ago