Alternatives and similar repositories for jflap:

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

• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆53Updated 7 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 7 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 3 weeks ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆216Updated 4 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆375Updated last month
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last month
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆17Updated 4 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆188Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆107Updated last month
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆247Updated 2 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆28Updated last year
• DrJavaAtRice / drjava
  Branches for integration and releases
  ☆21Updated this week
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆103Updated 2 years ago
• wo / tpg
  Tree Proof Generator
  ☆164Updated last month
• graue / esofiles
  The Esoteric File Archive
  ☆99Updated 10 months ago
• SableCC / sablecc
  SableCC
  ☆151Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆175Updated 5 years ago
• krestenkrab / jvm-verifier
  A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…
  ☆16Updated 14 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
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated 10 months ago
• nielstron / vimulator
  A vim-emulator for jEdit 5
  ☆14Updated last year
• tsantalis / JDeodorant
  JDeodorant
  ☆143Updated 2 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated this week
• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 7 years ago