aepsilon / turing-machine-viz

Related projects ⓘ

Alternatives and complementary repositories for turing-machine-viz

• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆210Updated 3 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆100Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆206Updated this week
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆353Updated 3 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated 9 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆296Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆228Updated 8 months 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…
  ☆145Updated 6 months 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.
  ☆292Updated 8 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• wo / tpg
  Tree Proof Generator
  ☆156Updated 3 weeks ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆100Updated 4 years ago
• mitxela / bf-tic-tac-toe
  ☆162Updated 6 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆169Updated last year
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆126Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• reberhardt7 / cplayground
  ☆118Updated last year
• harryli0088 / hamming-code
  ☆37Updated 2 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆286Updated 3 weeks ago
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆251Updated last year
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆175Updated 3 years ago
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆402Updated 4 years ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆60Updated last year
• vEnhance / von
  Olympiad problem database
  ☆44Updated 3 weeks ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆60Updated 2 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆451Updated 4 months ago
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆196Updated 2 weeks ago