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.
  ☆57Updated 8 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 3 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆280Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆232Updated 3 weeks ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆396Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆313Updated last week
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆96Updated last year
• lawrancej / logisim
  Git fork of Logisim code base
  ☆224Updated 9 years ago
• BNFC / bnfc
  BNF Converter
  ☆618Updated 2 weeks ago
• elikaski / BF-it
  A C-like language to Brainfuck compiler, written in Python
  ☆132Updated last year
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆113Updated 4 years ago
• cutelyaware / magiccube4d
  Automatically exported from code.google.com/p/magiccube4d
  ☆76Updated last year
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated last week
• rdebath / Brainfuck
  Brainfuck torture test. Brainfuck interpreters and compilers to C, V. VIM syntax file for brainf*ck. Fast JIT Assembly, JIT C running, Pe…
  ☆231Updated last year
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆59Updated 11 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆58Updated 5 months ago
• meyerd / flex-bison-example
  A simple example demonstrating a calculator written with flex/bison
  ☆235Updated 3 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆46Updated 4 years ago
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆69Updated 11 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆224Updated 8 years ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆40Updated 10 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• BigZaphod / COW
  The COW Programming Language
  ☆84Updated last year
• drbeco / hellex
  Simple "Hello World" for lex (flex) and yacc (bison) compiler of compilers
  ☆18Updated 7 years ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated last month
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆266Updated 3 years ago