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.
  ☆56Updated 7 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆114Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆226Updated 6 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆390Updated last month
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆261Updated 3 years ago
• tsantalis / JDeodorant
  JDeodorant
  ☆146Updated 9 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆309Updated 2 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated 3 weeks ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• alpertron / calculators
  Source code of calculators hosted at https://www.alpertron.com.ar
  ☆246Updated last month
• lawrancej / logisim
  Git fork of Logisim code base
  ☆221Updated 8 years ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 4 years ago
• duckythescientist / obfuscatedLife
  Conway's Game of Life in 9 lines of C
  ☆305Updated 9 years ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆251Updated 3 years ago
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆93Updated last year
• kimwalisch / primecount
  🚀 Fast prime counting function library
  ☆340Updated 3 weeks ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆62Updated last year
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆162Updated this week
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 7 months ago
• rfeng2004 / AsyPad
  A simple drawing tool that can convert diagrams into Asymptote code.
  ☆21Updated 4 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 3 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆201Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 3 months ago