mdaines / grammophoneLinks
A tool for analyzing and transforming context-free grammars.
☆225Updated 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
- BNF Converter☆607Updated 2 weeks ago
- Tree Proof Generator☆171Updated 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…☆73Updated 5 years ago
- metamath proof enumerators and other things☆94Updated last year
- A terse declarative logic programming language☆117Updated 5 years ago
- Finite State Machine Designer☆309Updated last year
- The Vampire Theorem Prover☆349Updated this week
- A port of Coq to Javascript -- Run Coq in your Browser☆534Updated this week
- Program Synthesis Course☆262Updated last year
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- ☆343Updated 7 years ago
- The HOL Light theorem prover☆473Updated 2 months ago
- Modal Logic Playground☆372Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆384Updated 8 months ago
- Metamath source file for logic and set theory☆294Updated this week
- The Incredible Proof Machine☆382Updated 6 months ago
- Alternative algorithm for algebraic subtyping.☆170Updated last month
- Visual Studio Code extension for Coq☆408Updated last week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- git mirror of the Munich isabelle hg repository☆126Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- The IntercalScript programming language☆139Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆528Updated 3 months ago
- Implementation of the λΠ-calculus modulo rewriting☆213Updated 3 weeks ago
- Women in Programming Languages and Software Engineering Research☆173Updated 9 months ago
- My personal repository of formally verified mathematics.☆306Updated 3 weeks ago
- Metamath program - source code for the Metamath executable☆85Updated last month