mdaines / grammophone

Related projects ⓘ

Alternatives and complementary repositories for grammophone

• BNFC / bnfc
  BNF Converter
  ☆587Updated 2 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆210Updated 3 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆300Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• eprover / eprover
  ☆132Updated 2 weeks ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated 9 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• MetaCoq / metacoq
  Metaprogramming, verified meta-theory and implementation of Coq in Coq
  ☆384Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆349Updated 2 months ago
• LeifAndersen / PLGradSchools
  ☆223Updated 3 months ago
• wo / tpg
  Tree Proof Generator
  ☆156Updated 3 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆200Updated this week
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆503Updated 3 months ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆344Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆102Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• marijnheule / microsat
  microsat
  ☆130Updated 2 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆245Updated 3 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆236Updated 2 months ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆97Updated last year
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆643Updated 5 months ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆64Updated 4 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆431Updated this week
• ETHproductions / japt
  Japt 1.4.5, the other JavaScript golfing language
  ☆75Updated 3 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated 3 weeks ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆149Updated 2 weeks ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆515Updated 3 weeks ago