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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• countywest / progressive_growing_of_points

  View on GitHub
  Progressive Growing of Points with Tree-structured Generators (BMVC 2021)
  ☆11Nov 1, 2023Updated 2 years 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
• janeyeon / RoMaP-code

  View on GitHub
  Official implementation for RoMaP :Robust 3D-Masked Part-level Editing in 3D Gaussian Splatting with Regularized Score Distillation Sampl…
  ☆22Aug 5, 2025Updated 10 months ago
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆14Jan 26, 2023Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• davdar / parsing-with-derivatives-haskell

  View on GitHub
  The original parsing with derivatives haskell implementation
  ☆12Aug 25, 2015Updated 10 years ago
• pg-vscode-extn-kr / pg-vscode-extn-kr.github.io

  View on GitHub
  VS Code extension api 공식 문서의 한글 번역입니다.
  ☆23Jan 4, 2023Updated 3 years ago
• rsms / jsont

  View on GitHub
  A minimal and portable JSON tokenizer for building highly effective and strict parsers (in C and C++)
  ☆27Nov 3, 2021Updated 4 years ago
• xzhseh / translation-validator

  View on GitHub
  Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification
  ☆15Dec 11, 2024Updated last year
• lengyijun / polonius-proof

  View on GitHub
  Verify naive = datafrog-opt, in rust/polonius
  ☆16Jun 26, 2025Updated 11 months ago
• mattpap / mathematica-parser

  View on GitHub
  Mathematica's programming language parser written in Scala
  ☆24Sep 11, 2014Updated 11 years ago
• zed-extensions / haskell

  View on GitHub
  Haskell support
  ☆18Updated this week
• 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 10 years ago
• gilbutITbook / 080330

  View on GitHub
  로버트 나이스트롬의 인터프리터 in Java, C / CRAFTING INTERPRETERS
  ☆13Nov 15, 2023Updated 2 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• redguardtoo / pyim2fcitx

  View on GitHub
  Convert pyim dictionary to fcitx dictionary
  ☆12Feb 12, 2022Updated 4 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated last year
• AlexBuz / rust_to_bf

  View on GitHub
  A compiler from a subset of Rust to Brainfuck
  ☆14Oct 2, 2024Updated last year
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆15May 20, 2026Updated 3 weeks ago
• d-z0n / terminal-renderer

  View on GitHub
  A terminal-renderer
  ☆11Jun 8, 2025Updated last year
• StewartLynch / Theme-Changer---Completed

  View on GitHub
  Completed project for the SwiftUI Theme Changing tutorial
  ☆14Jan 4, 2024Updated 2 years ago
• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 11 years ago
• langston-barrett / reed-thesis

  View on GitHub
  My undergradate thesis on coinductive types in univalent type theory
  ☆17May 10, 2018Updated 8 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
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• iblech / mathe-notizen

  View on GitHub
  Random notes on mathematics (in German)
  ☆13Jun 5, 2026Updated last week
• ignoww / ZOODiP

  View on GitHub
  [CVPR 2025] Efficient Personalization of Quantized Diffusion Model without Backpropagation
  ☆17Mar 31, 2025Updated last year
• ExcelsiorCJH / C-tutorials

  View on GitHub
  독하게 시작하는 C 프로그래밍
  ☆10Jul 10, 2018Updated 7 years ago
• janestreet / typerep

  View on GitHub
  Runtime types for OCaml (beta version)
  ☆27May 18, 2026Updated 3 weeks ago
• azamsharp / PaintApp

  View on GitHub
  ☆15Dec 7, 2021Updated 4 years ago
• duo-lang / duo-lang

  View on GitHub
  Duo - A research language exploring duality in programming language design
  ☆62May 23, 2023Updated 3 years ago
• bararchy / mos_game

  View on GitHub
  Mini Offline Singleplayer game in Crystal
  ☆18Oct 24, 2017Updated 8 years ago
• cslarsen / busy-beaver

  View on GitHub
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11May 23, 2016Updated 10 years ago
• Zeta611 / Video-Converter

  View on GitHub
  A simple video convertor for Mac
  ☆20Dec 11, 2021Updated 4 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• Stevearzh / pyIRCbot

  View on GitHub
  Python 版 IRC 机器人
  ☆14Mar 29, 2016Updated 10 years ago
• Dessyreqt / awiki

  View on GitHub
  A personal wiki for Atom
  ☆12Jun 8, 2016Updated 10 years ago
• yiyunliu / mltt-consistency

  View on GitHub
  Logical relation for predicative CC omega with booleans and an intensional identity type
  ☆12Apr 22, 2025Updated last year
• qiuxiang / doubanfm.sh

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

  View on GitHub
  Canonical repo
  ☆16Feb 26, 2019Updated 7 years ago
• Oregu / featherweight

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

  View on GitHub
  A set of tools for working with datafrog
  ☆28Sep 1, 2025Updated 9 months ago