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
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week
• wo / tpg
  Tree Proof Generator
  ☆161Updated 2 weeks ago
• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 7 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆149Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆173Updated 5 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 3 weeks ago
• slebok / zoo
  Grammar Zoo
  ☆85Updated 6 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆171Updated 4 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 7 years ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆60Updated 4 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• tsantalis / JDeodorant
  JDeodorant
  ☆141Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆53Updated this week
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆22Updated 3 years ago
• BNFC / bnfc
  BNF Converter
  ☆594Updated this week
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 10 months ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated 11 months ago
• mdnahas / Peano_Book
  English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
  ☆32Updated 2 years ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆191Updated this week
• Mzk-Levi / texts
  ☆150Updated 10 years ago