Alternatives and similar repositories for universal-turing-machine

Users that are interested in universal-turing-machine are comparing it to the libraries listed below

• zhiayang / lambda
  lambda calculus interpreter
  ☆46Updated 4 years ago
• Ailrun / core-lang-haskell
  Implementation for the book <Implementing functional languages: a tutorial>
  ☆33Updated 6 years ago
• Zeta611 / polycalc
  🧮 Polynomial Calculator
  ☆12Updated 3 years ago
• Wopslang / Wops
  Wops programming language
  ☆26Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• rocq-archive / automata
  Beginning of formal language theory
  ☆23Updated 6 years ago
• rollrat / compiler-compiler
  🍁 Compiler Compiler based on CSharp with GUI Program
  ☆21Updated 3 years ago
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆43Updated 3 months ago
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆10Updated 2 years ago
• Uriopass / Stacklang
  A home-made stack based language heavily inspired from PostScript
  ☆11Updated 6 years ago
• PnVDiscord / software-foundations-lean
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆26Updated 3 months ago
• prosyslab / pl-wiki
  ☆48Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• aheui / caheui
  aheui in C
  ☆14Updated 8 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• t-dillon / tdoku
  A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
  ☆255Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• kwanghoon / Lecture_EOPL
  EOPL in Haskell
  ☆22Updated 2 months ago
• napkin-community / solutions
  📝 Solutions of "An Infinitely Large Napkin"
  ☆38Updated last week
• felipesabino / tree-lang
  Implementation of Tree esoteric programming language
  ☆10Updated 2 years ago
• hongseok-yang / logic24
  ☆12Updated last year
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 5 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago
• aheui / aheui.aheui
  아희아희: 아희로 만든 아희 인터프리터
  ☆125Updated 10 years ago
• iamgio / pikt
  Image-based poetic programming language.
  ☆147Updated last year
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• hongseok-yang / logic23
  ☆16Updated 2 years ago
• damhiya / Coq-tips
  ☆10Updated 2 years ago