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 last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆276Updated 4 years ago
• Myphz / sortvisualizer
  Sort Visualizer Web App
  ☆142Updated last year
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• Panopto-Video-DL / Panopto-Video-DL-browser
  Userscripts to get the stream download URL from Panopto
  ☆91Updated last month
• visualize-it / visualize-it.github.io
  View scientific concepts at work. Anytime. Anywhere
  ☆95Updated 9 months ago
• fcrozatier / champagne
  champagne
  ☆32Updated last year
• automoss / automoss
  Automate the process of detecting similarities between code for a collection of computer science assignments.
  ☆148Updated 2 years ago
• automatarium / automatarium
  A place for automata
  ☆79Updated 2 weeks ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆116Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆344Updated last week
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆141Updated 11 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆672Updated 3 years ago
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆249Updated 2 months ago
• riemann-discord / math-discord
  A .tex file to use in the math discord
  ☆13Updated 4 months ago
• wo / tpg
  Tree Proof Generator
  ☆175Updated 8 months ago
• xiaoxiae / videos
  Source code to my videos.
  ☆84Updated last year
• unageek / graphest
  A faithful graphing calculator
  ☆123Updated last month
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆135Updated 3 years ago
• ArhanChaudhary / qter
  The human-friendly Rubik's Cube computer (WIP)
  ☆48Updated this week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆62Updated 2 months ago
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆114Updated 11 months ago
• codenoid / github-roast
  Spicy GitHub Roast 🔥
  ☆778Updated last year
• BigZaphod / COW
  The COW Programming Language
  ☆83Updated last year
• paralogical / glish
  map all words to single-syllable version
  ☆299Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆250Updated last month
• IseeJ / CosmosPersona
  Personality quiz. Play and discover your cosmos persona!
  ☆124Updated 3 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆37Updated 3 weeks ago
• ManimCommunity / manim-website
  Manim landing page.
  ☆17Updated last year