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
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆108Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆218Updated 10 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆223Updated 2 months ago
• drbeco / portugol
  A compiler to the Portuguese Algorithmic Language
  ☆22Updated 8 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated 3 weeks ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆383Updated last week
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆91Updated last year
• nordicway / moji
  MOJI is an unofficial Java client for Moss
  ☆183Updated 2 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆255Updated 3 years ago
• BNFC / bnfc
  BNF Converter
  ☆602Updated 4 months ago
• tsantalis / JDeodorant
  JDeodorant
  ☆144Updated 6 months ago
• BigZaphod / COW
  The COW Programming Language
  ☆81Updated last year
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆131Updated 2 years ago
• lawrancej / logisim
  Git fork of Logisim code base
  ☆221Updated 8 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆228Updated 3 weeks ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated this week
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 10 months ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆19Updated 9 years ago
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆35Updated 4 months ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆46Updated 3 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated last week