Alternatives and similar repositories for jflap

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

• 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
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated 11 months ago
• 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
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆110Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated last year
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆384Updated 2 weeks ago
• tsantalis / JDeodorant
  JDeodorant
  ☆145Updated 7 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• BNFC / bnfc
  BNF Converter
  ☆604Updated this week
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last month
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆129Updated 8 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆183Updated last month
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated 3 weeks ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆172Updated 4 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆161Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• lawrancej / logisim
  Git fork of Logisim code base
  ☆222Updated 8 years ago
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆91Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 10 months ago
• BigZaphod / COW
  The COW Programming Language
  ☆82Updated last year
• matheuspb / simone
  Grammars, automata and regular expressions editor
  ☆9Updated 7 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 5 months ago
• rocq-archive / automata
  Beginning of formal language theory
  ☆24Updated 5 years ago