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. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆369Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆244Updated 3 weeks ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated last year
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆10Updated last week
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• 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
  ☆211Updated 5 months ago
• LeoRiether / CodeforcesPP
  Codeforces extension pack
  ☆31Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆86Updated last year
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 5 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆299Updated last year
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆191Updated this week
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆112Updated last month
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆109Updated 2 years ago
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆220Updated last year
• BorysLevytskyi / BitwiseCmd
  Bitwise Calculator Online
  ☆318Updated 6 months ago
• se-edu / se-book
  Online Book: Software Engineering for Self-Directed Learners
  ☆42Updated this week
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆587Updated last year
• Agnishom / IOITC16
  Problems from IOITC'16 (India)
  ☆10Updated 3 years ago
• enjeck / num2math
  Complicated math expression generator
  ☆98Updated 7 months ago
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆961Updated last year
• tsoding / pinpog
  Ping-Pong-like game in Assembly that works without OS
  ☆610Updated 3 years ago
• wo / tpg
  Tree Proof Generator
  ☆161Updated 2 weeks ago
• harryli0088 / hamming-code
  ☆39Updated 2 years ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago