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
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated 11 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆146Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated 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…
  ☆159Updated 2 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 5 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆216Updated last week
• vprover / vampire
  The Vampire Theorem Prover
  ☆340Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆161Updated last year
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆39Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated last week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 7 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated last month
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆384Updated 3 weeks ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆226Updated this week
• eprover / eprover
  ☆149Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated last month
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 10 months ago
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆534Updated 3 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆416Updated 8 months ago