simonbreiter/universal-turing-machine external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

simonbreiter/universal-turing-machine

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/simonbreiter/universal-turing-machine)

Close

simonbreiter / universal-turing-machineView on GitHubMore

• External links
• Readme badge

A universal Turing machine (UTM) implementation in Python.

☆21Oct 22, 2018Updated 7 years ago

Alternatives and similar repositories for universal-turing-machine

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

• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 10 years ago
• cotrino / language_KnowledgeMap

  View on GitHub
  The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…
  ☆12Mar 29, 2016Updated 9 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated 11 months ago
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 2018Updated 7 years ago
• TageDan / terminal-renderer

  View on GitHub
  A terminal-renderer
  ☆10Jun 8, 2025Updated 8 months ago
• SJTU-PLV / CompCert

  View on GitHub
  The CompCert formally-verified C compiler
  ☆10Updated this week
• davdar / parsing-with-derivatives-haskell

  View on GitHub
  The original parsing with derivatives haskell implementation
  ☆12Aug 25, 2015Updated 10 years ago
• Kraks / 2048.py

  View on GitHub
  Text-based 2048 in Python.
  ☆23Jan 24, 2022Updated 4 years ago
• davidomarf / attractor-seeder

  View on GitHub
  Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.
  ☆10Jun 28, 2020Updated 5 years ago
• zed-extensions / haskell

  View on GitHub
  Haskell support
  ☆14Feb 9, 2026Updated 2 weeks ago
• Lodobo / rdict

  View on GitHub
  Offline dictionary using data from wiktionary.
  ☆16Nov 27, 2024Updated last year
• langston-barrett / reed-thesis

  View on GitHub
  My undergradate thesis on coinductive types in univalent type theory
  ☆17May 10, 2018Updated 7 years ago
• rust-lang / project-deref-patterns

  View on GitHub
  ☆11Dec 27, 2021Updated 4 years ago
• mliszcz / fish-shell

  View on GitHub
  The user-friendly command line shell.
  ☆13Apr 9, 2025Updated 10 months ago
• lengyijun / polonius-proof

  View on GitHub
  Verify naive = datafrog-opt, in rust/polonius
  ☆15Jun 26, 2025Updated 8 months ago
• AlexBuz / rust_to_bf

  View on GitHub
  A compiler from a subset of Rust to Brainfuck
  ☆14Oct 2, 2024Updated last year
• bararchy / mos_game

  View on GitHub
  Mini Offline Singleplayer game in Crystal
  ☆18Oct 24, 2017Updated 8 years ago
• redguardtoo / pyim2fcitx

  View on GitHub
  Conver pyim dictionary to fcitx dictionary
  ☆12Feb 12, 2022Updated 4 years ago
• Oregu / featherweight

  View on GitHub
  μKanren implementation in Haskell
  ☆19Jul 3, 2014Updated 11 years ago
• duo-lang / duo-lang

  View on GitHub
  Duo - A research language exploring duality in programming language design
  ☆62May 23, 2023Updated 2 years ago
• kframework / matching-logic-prover

  View on GitHub
  ☆15Apr 16, 2021Updated 4 years ago
• yiyunliu / mltt-consistency

  View on GitHub
  Logical relation for predicative CC omega with booleans and an intensional identity type
  ☆12Apr 22, 2025Updated 10 months ago
• siddhartha-gadgil / MetaExamples

  View on GitHub
  Examples using MetaProgramming for writing tactics etc.
  ☆20Nov 26, 2025Updated 3 months ago
• qiuxiang / doubanfm.sh

  View on GitHub
  Bash douban.fm 客户端
  ☆12Aug 18, 2016Updated 9 years ago
• Stevearzh / pyIRCbot

  View on GitHub
  Python 版 IRC 机器人
  ☆14Mar 29, 2016Updated 9 years ago
• harp-project / AML-Formalization

  View on GitHub
  ☆11Sep 7, 2025Updated 5 months ago
• azamsharp / PaintApp

  View on GitHub
  ☆14Dec 7, 2021Updated 4 years ago
• iblech / mathe-notizen

  View on GitHub
  Random notes on mathematics (in German)
  ☆12Feb 12, 2026Updated 2 weeks ago
• Dessyreqt / awiki

  View on GitHub
  A personal wiki for Atom
  ☆12Jun 8, 2016Updated 9 years ago
• pd95 / TinyDraw-Live

  View on GitHub
  A simple drawing app for iPad using SwiftUI.
  ☆10Dec 12, 2021Updated 4 years ago
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• Lucretiel / dislike-in-rust

  View on GitHub
  A list of the few things I don't like about rust
  ☆13Mar 1, 2023Updated 3 years ago
• neel-krishnaswami / adjs

  View on GitHub
  Higher-order FRP compiler
  ☆16Oct 20, 2021Updated 4 years ago
• littleplus / Bilibili-Album-Download

  View on GitHub
  Download Bilibili album. 下载Bilibili用户相簿
  ☆12Dec 6, 2022Updated 3 years ago
• wgxli / hopf-fibration

  View on GitHub
  An interactive visualization of the Hopf fibration
  ☆14Dec 6, 2022Updated 3 years ago
• benjypng / logseq-recurrence-plugin

  View on GitHub
  ☆15Apr 13, 2022Updated 3 years ago
• sanved77 / mini-compiler

  View on GitHub
  ☆15Jun 18, 2020Updated 5 years ago
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 5 years ago
• vladzamfir / backfeed

  View on GitHub
  a public objective non-economic reputation system
  ☆13Oct 4, 2015Updated 10 years ago