A universal Turing machine (UTM) implementation in Python.
β22Oct 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.
Sorting:
- Small utility functions for handling utf8β27Aug 6, 2019Updated 7 years ago
- π¦ Initialize JSON data according to type schemaβ10May 10, 2021Updated 5 years ago
- This project allows the user to simulate the 118 known elements according to the Bohr Model.β15Dec 7, 2025Updated 8 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetupβ16Dec 13, 2018Updated 7 years ago
- Multi-thread version of simdjsonβ15Jul 27, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Almost all of Csound as an Android app, with a built-in code editor and support for HTML5 and JavaScript.β13Nov 6, 2024Updated last year
- HTTP responses powered by AIβ16Mar 25, 2025Updated last year
- My final year project at the University of Strathclydeβ14Jan 26, 2023Updated 3 years ago
- A simple drawing app for iPad using SwiftUI.β10Dec 12, 2021Updated 4 years ago
- Calculates the uncomputable Busy Beaver Ξ£-functionβ11May 23, 2016Updated 10 years ago
- Demonstrator for OSDev.orgβ13Jan 6, 2019Updated 7 years ago
- The original parsing with derivatives haskell implementationβ12Aug 25, 2015Updated 11 years ago
- β13Feb 5, 2024Updated 2 years ago
- My own programming written in Python (now you see why it's called Cobra).β11Mar 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- JSON parser in cβ18Apr 1, 2025Updated last year
- A compiler from a subset of Rust to Brainfuckβ16Oct 2, 2024Updated last year
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Aug 23, 2026Updated last week
- A terminal-rendererβ12Jun 8, 2025Updated last year
- Blazing fast and light SIMD JSON parser in a few hundreds lines of C Codeβ10Jun 27, 2020Updated 6 years ago
- β12Dec 27, 2021Updated 4 years ago
- Completed project for the SwiftUI Theme Changing tutorialβ14Jan 4, 2024Updated 2 years ago
- A list of the few things I don't like about rustβ13Mar 1, 2023Updated 3 years ago
- 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
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The CompCert formally-verified C compilerβ11Aug 24, 2026Updated last week
- The user-friendly command line shell.β13Apr 9, 2025Updated last year
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.β10Jun 28, 2020Updated 6 years ago
- λ νκ² μμνλ C νλ‘κ·Έλλ°β10Jul 10, 2018Updated 8 years ago
- connect your raspberry PI via SSH on your Android smartphoneβ13Feb 24, 2021Updated 5 years ago
- My PhD Thesisβ16Jan 4, 2022Updated 4 years ago
- β15Dec 7, 2021Updated 4 years ago
- Duo - A research language exploring duality in programming language designβ62May 23, 2023Updated 3 years ago
- Verify naive = datafrog-opt, in rust/poloniusβ17Jun 26, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Random notes on mathematics (in German)β13Aug 6, 2026Updated 3 weeks ago
- A recreation of Windows Bubbles screensaver.β19Aug 8, 2021Updated 5 years ago
- FastPy is a statically typed programming language with pythonic syntax.β10Aug 8, 2022Updated 4 years ago
- Python η IRC ζΊε¨δΊΊβ14Mar 29, 2016Updated 10 years ago
- A simple S-Expression parser for rust TokenStreamsβ16Nov 23, 2025Updated 9 months ago
- Runtime types for OCaml (beta version)β27Jul 10, 2026Updated last month
- β15Apr 16, 2021Updated 5 years ago