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
• slebok / zoo
  Grammar Zoo
  ☆88Updated 6 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆258Updated 3 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆288Updated 2 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆190Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• nielstron / vimulator
  A vim-emulator for jEdit 5
  ☆14Updated 2 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 9 months ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆19Updated 9 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆193Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆214Updated 8 months ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 3 weeks ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆149Updated last week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆218Updated 8 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• parrt / cs652
  University of San Francisco CS652 -- Programming Languages
  ☆132Updated 6 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• abego / treelayout
  Efficiently create compact tree layouts in Java
  ☆96Updated 3 years ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• arandilopez / z-eves
  Z-EVES for linux. Probably the only place you can find it
  ☆24Updated 4 years ago
• BNFC / bnfc
  BNF Converter
  ☆601Updated last month
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 11 months ago
• GNUSim8085 / GNUSim8085
  A graphical simulator, assembler and debugger for the Intel 8085 microprocessor (Needs maintainer)
  ☆144Updated 2 years ago
• tsantalis / JDeodorant
  JDeodorant
  ☆144Updated 3 months ago