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 7 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆221Updated last year
• LucasMW / Headache
  Programming Language that compiles to 8 Bit Brainfuck
  ☆95Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆230Updated last week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated last week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆133Updated 3 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆395Updated 3 weeks ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆113Updated 4 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆235Updated last month
• canoon / bfbf
  brainfuck in brainfuck
  ☆160Updated 7 years ago
• BNFC / bnfc
  BNF Converter
  ☆618Updated this week
• tsantalis / JDeodorant
  JDeodorant
  ☆147Updated last year
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 6 months ago
• mdnahas / Peano_Book
  English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
  ☆37Updated 3 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆32Updated last year
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆186Updated last month
• gabriele-tomassetti / antlr-mega-tutorial
  This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.
  ☆280Updated 4 years ago
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆267Updated 3 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆40Updated 10 months ago
• cutelyaware / magiccube4d
  Automatically exported from code.google.com/p/magiccube4d
  ☆76Updated last year
• 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…
  ☆168Updated last week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• arandilopez / z-eves
  Z-EVES for linux. Probably the only place you can find it
  ☆24Updated 4 years ago
• SableCC / sablecc
  SableCC
  ☆154Updated last year
• kuk0 / alg-vis
  ☆70Updated 7 years ago