A universal Turing machine (UTM) implementation in Python.
☆23Oct 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:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- ☆12Dec 27, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- The CompCert formally-verified C compiler☆11Aug 24, 2026Updated last month
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆62May 23, 2023Updated 3 years ago
- Random notes on mathematics (in German)☆14Aug 6, 2026Updated 2 months ago
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple S-Expression parser for rust TokenStreams☆16Nov 23, 2025Updated 10 months ago
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 10 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 4 months ago
- metamath proof enumerators and other things☆100Nov 16, 2025Updated 10 months ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 years ago
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆19Dec 10, 2024Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- A modern version of ‘ls’.☆15Jun 10, 2022Updated 4 years ago
- A personal wiki for Atom☆12Jun 8, 2016Updated 10 years ago
- find unicode characters based on their names☆19May 24, 2026Updated 4 months ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Canonical repo☆16Feb 26, 2019Updated 7 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- Download Bilibili album. 下载Bilibili用户相簿☆11Dec 6, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a public objective non-economic reputation system☆13Oct 4, 2015Updated 11 years ago
- Unix-style pipelines for MCP. Deterministic tool calls.☆22Sep 21, 2026Updated 3 weeks ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Formal semantics of Haskell in K☆15Dec 15, 2014Updated 11 years ago
- ☆26Mar 7, 2026Updated 7 months ago
- A basic command line chat program for linux and windows written in python☆14Aug 7, 2022Updated 4 years ago