Alternatives and similar repositories for nfa-to-dfa

Users that are interested in nfa-to-dfa are comparing it to the libraries listed below

• enjeck / num2math
  Complicated math expression generator
  ☆102Updated 11 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆263Updated 4 years ago
• benbotto / rubiks-cube-cracker
  An OpenGL Rubik's Cube implementation with an optimal solver. Written in C++.
  ☆214Updated 4 years ago
• automatarium / automatarium
  A place for automata
  ☆75Updated 2 weeks ago
• fcrozatier / champagne
  champagne
  ☆31Updated last year
• yonatanmgr / mathberet
  Mathberet is a self-hosted digital mathematics notebook written in React and Typescript, designed for math students who need a platform f…
  ☆184Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• desmosinc / mathquill
  Magic textboxes where you can type math as easily as writing!
  ☆159Updated 3 months ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆381Updated this week
• MarcTheSpark / TicTacToe
  Code for my YouTube videos on Tic-Tac-Toe
  ☆57Updated last year
• tsoding / xkcd-indexer
  Simple Parallel XKCD indexer
  ☆11Updated 4 years ago
• ArhanChaudhary / qter
  The human-friendly Rubik's cube computer (WIP)
  ☆37Updated this week
• paralogical / glish
  map all words to single-syllable version
  ☆288Updated 7 months ago
• polylog-cs / rubiks-cube-video
  Using meet-in-the-middle to solve the Rubik's cube
  ☆79Updated last year
• IonelPopJara / http-server-c
  A simple http server in C
  ☆31Updated 11 months ago
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 9 months ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• SebLague / Chess-Coding-Adventure
  A work-in-progress chess bot written in C#
  ☆1,520Updated last year
• visualize-it / visualize-it.github.io
  View scientific concepts at work. Anytime. Anywhere
  ☆91Updated 4 months ago
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• tsoding / autocell
  Cellular Automata Experiment
  ☆46Updated 2 years ago
• catabriga / graphwar
  ☆283Updated 2 years ago
• Spydr06 / logicrs
  An easy-to-use simulator for logical circuits
  ☆60Updated 10 months ago
• TodePond / SandLab
  a splitting sand game
  ☆16Updated 2 years ago
• AbooMinister25 / Lite
  an imperative and compiled programming language designed to be developer friendly
  ☆9Updated last year
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆121Updated 6 months ago
• alexjercan / cool-compiler
  Compiler for the COOL language written in C.
  ☆117Updated 8 months ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 3 months ago