Alternatives and similar repositories for jflap-lib

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

• 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…
  ☆168Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆186Updated last month
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆396Updated this week
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆207Updated 3 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 3 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆48Updated last year
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 4 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆234Updated 4 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆448Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆151Updated 2 weeks ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆36Updated 4 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆232Updated 2 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last week
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆97Updated last week
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆222Updated 2 weeks ago
• axkr / symja_android_library
  Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
  ☆445Updated last week
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated 2 weeks ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆135Updated last week
• wo / tpg
  Tree Proof Generator
  ☆177Updated 3 weeks ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated this week
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆224Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated last week