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.
  ☆57Updated 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.
  ☆118Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆228Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• tsantalis / JDeodorant
  JDeodorant
  ☆146Updated 11 months ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆393Updated 3 weeks ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated 3 weeks ago
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 5 months ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆186Updated 6 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆156Updated 4 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆202Updated 2 years ago
• ChessCom / android-chessclock
  ☆72Updated 10 months ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆36Updated 2 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• ftomassetti / turin-programming-language
  A static language for the JVM with sensible defaults
  ☆99Updated 10 years ago
• kuk0 / alg-vis
  ☆70Updated 7 years ago
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆265Updated 3 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 5 months ago
• 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…
  ☆163Updated this week
• jknack / antlr4ide
  ANTLR 4 IDE for Eclipse
  ☆39Updated 7 years ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Updated 2 years ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆251Updated last month
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆112Updated 4 years ago
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆94Updated last year
• cristianzsh / JCEditor
  Text editor created in Java
  ☆37Updated 5 years ago