Alternatives and similar repositories for automatonSimulator:

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

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆258Updated 3 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆214Updated 8 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• mitxela / bf-tic-tac-toe
  ☆166Updated 6 years ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated 3 weeks ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆29Updated last year
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 7 months ago
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆10Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• enjeck / num2math
  Complicated math expression generator
  ☆100Updated 9 months ago
• 27t / regex-visualizer
  ☆30Updated 5 years ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated last month
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 9 months ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆223Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆89Updated last year
• slmjkdbtl / is-is-odd
  check if the given function is is-odd
  ☆105Updated last month
• GNUSim8085 / GNUSim8085
  A graphical simulator, assembler and debugger for the Intel 8085 microprocessor (Needs maintainer)
  ☆144Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆54Updated 2 weeks ago
• joeylemon / nfa-to-dfa
  a visual NFA to DFA converter
  ☆87Updated last year
• tsoding / JelloVM
  JVM in Python that can only run "Hello, World"
  ☆159Updated last year
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• Aplet123 / iterplus
  The best of Rust/Haskell/Python iterators in Javascript.
  ☆20Updated last year