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
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆141Updated 4 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• maxbannach / Jdrasil
  A Modular Library for Computing Tree Decompositions
  ☆17Updated 6 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 2 weeks ago
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆152Updated 4 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆214Updated 7 months 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…
  ☆151Updated last month
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆54Updated 7 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 11 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 2 weeks ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆218Updated last week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆88Updated 2 years ago
• kuk0 / alg-vis
  ☆67Updated 6 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 7 months ago
• slebok / zoo
  Grammar Zoo
  ☆88Updated 6 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆190Updated 2 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 8 years ago
• yuemingl / SymJava
  A Java library for fast symbolic-numeric computation
  ☆76Updated 5 years ago
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆113Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆135Updated 3 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆420Updated this week
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆40Updated 5 years ago
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆46Updated this week
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆105Updated 2 months ago