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.
  ☆224Updated 3 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆307Updated this week
• evanw / fsm
  Finite State Machine Designer
  ☆306Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated last year
• 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
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated last year
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆116Updated 4 years ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• histocrat / hello_world
  ☆40Updated 9 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 5 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆340Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• m-ender / retina
  A regex-based programming language.
  ☆233Updated 2 years ago
• lawrancej / logisim
  Git fork of Logisim code base
  ☆221Updated 8 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated last week
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆384Updated 3 weeks ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆84Updated this week
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆115Updated last year
• 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 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• slebok / zoo
  Grammar Zoo
  ☆92Updated 6 years ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 4 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆427Updated this week
• itinerarium / phoneme-synthesis
  A browser-based tool to convert International Phonetic Alpha (IPA) phonetic notation to speech using the meSpeak.js package
  ☆273Updated 2 years ago