Alternatives and similar repositories for jflap-lib

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

• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated 3 weeks 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…
  ☆162Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆226Updated 6 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆390Updated last month
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆41Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆218Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 3 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 3 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆427Updated last month
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 3 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆237Updated last week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆147Updated 3 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆231Updated last week
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated 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
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆79Updated 9 years ago
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆229Updated last month
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆185Updated 4 months ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated last month