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 automata, graphs, and transition systems
  ☆98Updated last week
• 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…
  ☆168Updated last week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆221Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆230Updated last week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 3 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆395Updated 3 weeks ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated last week
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆233Updated 4 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆222Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆151Updated 2 weeks ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆378Updated this week
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆48Updated last year
• mauricioaniche / repodriller
  a tool to support researchers on mining software repositories studies
  ☆174Updated 2 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆97Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 3 months ago
• dakusui / combinatoradix
  A Java library to enumerate permutations and combinations suitable for distributed executions
  ☆14Updated last year
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 6 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated this week
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆58Updated 5 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated last week
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆92Updated 3 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆27Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago