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 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…
  ☆168Updated 2 weeks ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 2 months ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆229Updated last month
• jayhorn / jayhorn
  Static checker for Java
  ☆88Updated 11 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆60Updated 3 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 5 months ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆186Updated 2 weeks ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆117Updated 2 months ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆38Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 5 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• rodhilton / jasome
  JaSoMe (Java Source Metrics) - Object Oriented Metrics analyzer for Java code
  ☆34Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆394Updated last week
• se-sic / jdime
  syntactic merge tool for java
  ☆20Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated last week
• ucr-riple / NullAwayAnnotator
  A tool to help adapting code bases to NullAway type system.
  ☆17Updated 3 weeks ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆98Updated 2 weeks ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆221Updated this week
• tsantalis / JDeodorant
  JDeodorant
  ☆146Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last week
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆202Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆39Updated 3 years ago
• pdt-git / public
  Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
  ☆31Updated 4 years ago