Alternatives and similar repositories for automatonSimulator:

Users that are interested in automatonSimulator are comparing it to the libraries listed below

• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 7 months ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆375Updated last month
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• BigZaphod / COW
  The COW Programming Language
  ☆80Updated 9 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆253Updated 3 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆28Updated last year
• enjeck / num2math
  Complicated math expression generator
  ☆100Updated 9 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆299Updated last month
• mitxela / bf-tic-tac-toe
  ☆166Updated 6 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆202Updated last week
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆216Updated this week
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆51Updated 7 months ago
• vEnhance / von
  Olympiad problem database
  ☆47Updated 2 weeks ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆54Updated 7 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated last week
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆10Updated 2 weeks ago
• leanprover / elan
  The Lean version manager
  ☆356Updated 2 weeks ago
• joelsmithjohnson / pikachu-interpreter
  An interpreter for the esoteric programming language 'Pikachu'
  ☆29Updated 4 years ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆184Updated 2 years ago
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆444Updated 3 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆252Updated 3 years ago
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆149Updated this week
• vakila / kimi
  A toy programming language that keeps it minimal
  ☆143Updated 8 years ago