mdaines / grammophone
A tool for analyzing and transforming context-free grammars.
☆216Updated this 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☆211Updated 7 months ago
- BNF Converter☆598Updated 3 weeks ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- The Vampire Theorem Prover☆332Updated this week
- Olympiad GeoGuessr☆16Updated last week
- Proving leftpad correct two-dozen different ways☆669Updated last week
- The HOL Light theorem prover☆451Updated 3 weeks ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Constraint Logic Programming over Finite Domains☆175Updated 5 years ago
- Optimal evaluator of λ-calculus terms.☆274Updated 2 years ago
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆56Updated last week
- Turing machine simulator in HTML/Javascript☆84Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆74Updated 6 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
- The Incredible Proof Machine☆373Updated last month
- SWI-Prolog stable releases☆226Updated 3 months ago
- A repository for the Quest For Tetris☆182Updated 3 years ago
- The Ott tool for writing definitions of programming languages and calculi☆367Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- A terse declarative logic programming language☆117Updated 4 years ago
- Formal Reasoning About Programs☆682Updated 10 months ago
- Visual Studio Code extension for Coq☆377Updated this week
- A lambda calculus interpeter☆65Updated 3 months ago
- A web site for converting haskell code into pointfree haskell code☆163Updated 2 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆109Updated 7 years ago
- ☆190Updated last week
- A collection of tools for writing technical documents that mix Coq code and prose.☆253Updated last month
- A port of Coq to Javascript -- Run Coq in your Browser☆526Updated 5 months ago