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)
  ☆35Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆145Updated 7 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated 3 months ago
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆14Updated this 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…
  ☆155Updated this week
• tsantalis / JDeodorant
  JDeodorant
  ☆144Updated 5 months ago
• TUM-LRR / Jasmin
  Java Assembler Interpreter
  ☆67Updated 3 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆95Updated last month
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆38Updated 2 weeks ago
• lu-cs-sde / codeprober
  Tool implementing Property Probes
  ☆20Updated last week
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆111Updated this week
• AutomataTutor / automatatutor-frontend
  Scala+lift frontend for automatatutor.com
  ☆10Updated 6 years ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 6 years ago
• vscosta / yap
  ☆53Updated last month
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆42Updated last month
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆43Updated 3 years ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆62Updated this week
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago