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.
  ☆220Updated last month
• 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
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• m-ender / retina
  A regex-based programming language.
  ☆233Updated 2 years ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆116Updated 4 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆526Updated last month
• slebok / zoo
  Grammar Zoo
  ☆92Updated 6 years ago
• BNFC / bnfc
  BNF Converter
  ☆602Updated 2 months ago
• ETHproductions / japt
  Japt 1.4.5, the other JavaScript golfing language
  ☆75Updated 4 years ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆106Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆364Updated 11 months ago
• ETHproductions / golfing-langs
  A (mostly) complete list of languages designed for code-golfing
  ☆34Updated 4 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆338Updated this week
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆34Updated last year
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated last week
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆381Updated last month
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆81Updated 3 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 5 months ago
• eprover / eprover
  ☆142Updated this week
• davidar / subleq
  CPU design and toolchain for a simple computer architecture
  ☆120Updated 9 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated last month
• evanw / fsm
  Finite State Machine Designer
  ☆302Updated last year