mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆230Updated this week
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☆221Updated last year
- Tree Proof Generator☆177Updated 2 weeks ago
- BNF Converter☆618Updated this week
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- A terse declarative logic programming language☆118Updated 5 years ago
- Program Synthesis Course☆265Updated last year
- The Incredible Proof Machine☆388Updated last month
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- The IntercalScript programming language☆139Updated 5 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- metamath proof enumerators and other things☆92Updated 2 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…☆74Updated 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 10 years ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆400Updated last week
- A port of Coq to Javascript -- Run Coq in your Browser☆536Updated this week
- Optimal evaluator of λ-calculus terms.☆282Updated 2 years ago
- Finite State Machine Designer☆310Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Alternative algorithm for algebraic subtyping.☆172Updated 2 months ago
- My personal repository of formally verified mathematics.☆308Updated last week
- Type checking ifdef variability☆78Updated 4 years ago
- The HOL Light theorem prover☆497Updated 2 weeks ago
- git mirror of the Munich isabelle hg repository☆131Updated last week
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- The Vampire Theorem Prover☆378Updated this week
- Metamath source file for logic and set theory☆302Updated last week