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.
  ☆55Updated 7 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• drbeco / portugol
  A compiler to the Portuguese Algorithmic Language
  ☆22Updated 8 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆261Updated 3 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• wo / tpg
  Tree Proof Generator
  ☆166Updated 2 months ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆381Updated last week
• tsantalis / JDeodorant
  JDeodorant
  ☆144Updated 4 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated last week
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆80Updated 2 years ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆11Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆177Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆124Updated last week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated 2 weeks ago
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆91Updated last year
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆239Updated 3 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 8 months ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆129Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• jknack / antlr4ide
  ANTLR 4 IDE for Eclipse
  ☆39Updated 6 years ago