aepsilon / turing-machine-viz
Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
☆252Updated 3 years ago
Alternatives and similar repositories for turing-machine-viz:
Users that are interested in turing-machine-viz are comparing it to the libraries listed below
- A website that simulates various finite state machines: DFA, NFA, PDA.☆102Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆211Updated 2 months ago
- Group theory visualization software in the browser☆236Updated 11 months ago
- Finite State Machine Designer☆299Updated last year
- Lambda calculus interpreter written in TypeScript☆27Updated last year
- Automated generation of planar geometry olympiad problems☆86Updated last year
- A LaTeX Typesetting Game☆244Updated 3 weeks ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆211Updated 5 months ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆40Updated 5 months ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- metamath proof enumerators and other things☆91Updated 6 months ago
- Olympiad problem database☆48Updated last month
- ☆186Updated last week
- Tree Proof Generator☆161Updated 2 weeks ago
- OJudge Platform☆296Updated 4 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆476Updated 7 months ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆411Updated 4 years ago
- A small web app that allows the simple creation and decoding of Tupper's self-referential formula.☆81Updated 2 years ago
- A computer in Conway's game of life☆166Updated 2 months ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆147Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆191Updated this week
- Generates truth tables for formulas of sentential logic☆61Updated 5 months ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆369Updated 2 weeks ago
- LaTeX to image converter with web UI using Node.js / Docker☆248Updated last year
- A place for automata☆73Updated 5 months ago
- Source code for the nLab☆159Updated last month
- A web based frontend to manim☆102Updated 2 years ago
- OTIS course management system☆41Updated this week
- The Lean version manager☆341Updated 3 weeks ago
- Repository containing all code for the videos on the Reducible YouTube channel☆621Updated 2 years ago