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 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆98Updated last month
• 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…
  ☆163Updated last week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 3 months ago
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆229Updated 2 months ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆186Updated 5 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆46Updated last year
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated this 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
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆202Updated 2 years ago
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆156Updated 4 years ago
• tsantalis / JDeodorant
  JDeodorant
  ☆146Updated 10 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆57Updated 2 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated last week
• pdt-git / public
  Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
  ☆31Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆227Updated 6 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆116Updated 2 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆391Updated this week
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• mauricioaniche / repodriller
  a tool to support researchers on mining software repositories studies
  ☆175Updated last year
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆29Updated 2 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆93Updated 11 years ago
• yuemingl / SymJava
  A Java library for fast symbolic-numeric computation
  ☆79Updated 5 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆86Updated last year
• axkr / symja_android_library
  Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
  ☆435Updated this week
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆190Updated 3 months ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year