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
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• 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…
  ☆160Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆96Updated 3 weeks ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆385Updated last month
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆217Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 4 months ago
• maxbannach / Jdrasil
  A Modular Library for Computing Tree Decompositions
  ☆17Updated 11 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆46Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated last month
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆39Updated this week
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last month
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆185Updated 2 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated this week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• axkr / symja_android_library
  Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
  ☆425Updated this week
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last month
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated last month
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆226Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated last week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆227Updated last week
• mauricioaniche / repodriller
  a tool to support researchers on mining software repositories studies
  ☆175Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 6 months ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆235Updated 2 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆37Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated 3 weeks ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆344Updated last week
• eprover / eprover
  ☆152Updated this week