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
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆66Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 5 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆62Updated 7 months ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 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…
  ☆149Updated last week
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆48Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆137Updated 2 months ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• wslee / duet
  ☆19Updated 3 weeks ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆370Updated last week
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated last week
• eprover / eprover
  ☆135Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 5 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆71Updated last month
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆319Updated this week
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆66Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆196Updated this week
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago