Alternatives and similar repositories for noam

Users that are interested in noam are comparing it to the libraries listed below

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• evanw / fsm
  Finite State Machine Designer
  ☆300Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated 2 months ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 8 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆260Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆98Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆122Updated this week
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆604Updated 2 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆379Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆278Updated 3 years ago
• tammet / logictools
  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
• vprover / vampire
  The Vampire Theorem Prover
  ☆335Updated this week
• BNFC / bnfc
  BNF Converter
  ☆602Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆77Updated 9 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆123Updated last week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆455Updated last week
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• DmitrySoshnikov / syntax
  Syntactic analysis toolkit, language-agnostic parser generator.
  ☆634Updated 4 months ago
• eprover / eprover
  ☆139Updated this week
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆129Updated 3 weeks ago