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.
  ☆228Updated 2 weeks ago
• evanw / fsm
  Finite State Machine Designer
  ☆310Updated 2 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated 3 weeks ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆279Updated 4 years ago
• wo / tpg
  Tree Proof Generator
  ☆175Updated 9 months ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆115Updated 4 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 2 years ago
• BNFC / bnfc
  BNF Converter
  ☆612Updated 2 weeks ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆393Updated 3 weeks ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆251Updated last month
• vprover / vampire
  The Vampire Theorem Prover
  ☆368Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆131Updated this week
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks 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…
  ☆73Updated 5 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆57Updated 3 months ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated last year
• m-ender / retina
  A regex-based programming language.
  ☆233Updated 2 years ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆84Updated 4 months ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆545Updated last week
• approach0 / search-engine
  A math-aware search engine.
  ☆349Updated 2 years ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆622Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆94Updated 4 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆485Updated 3 weeks ago
• TryItOnline / tryitonline
  The Try It Online family of online interpreters.
  ☆563Updated 4 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago