Alternatives and similar repositories for jflap-lib

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

• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 months ago
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆47Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• eprover / eprover
  ☆139Updated this week
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years 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…
  ☆155Updated this week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆21Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• pdt-git / public
  Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
  ☆31Updated 4 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆142Updated 5 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆56Updated this week
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆111Updated last month
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆175Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆27Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆37Updated 2 weeks ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated last week
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last month
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆94Updated this week
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆379Updated last week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week