A universal Turing machine (UTM) implementation in Python.
☆23Oct 22, 2018Updated 8 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
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- 📦 Initialize JSON data according to type schema☆10May 10, 2021Updated 5 years ago
- Official implementation for GATSBI: Generative Agent-centric Spatio-temporal Object Interaction (CVPR'2021)☆11Mar 23, 2022Updated 4 years ago
- Code for PEEK: Guiding and Minimal Image Representations for Zero-Shot Generalization of Robot Manipulation Policies☆13Feb 15, 2026Updated 8 months ago
- 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.
- Progressive Growing of Points with Tree-structured Generators (BMVC 2021)☆11Sep 4, 2026Updated last month
- LinM is a clone of Mdir, the famouse file manager from the MS-DOS age.☆11Mar 15, 2023Updated 3 years ago
- The entire year on a single page☆12Dec 5, 2025Updated 10 months ago
- Wolf, a raycasting engine for pseudo 3D games.☆14Nov 21, 2014Updated 11 years ago
- ☆10Mar 6, 2022Updated 4 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Implementation of a parser for JSON data☆12Jul 13, 2024Updated 2 years ago
- Multi-thread version of simdjson☆14Jul 27, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This project allows the user to simulate the 118 known elements according to the Bohr Model.☆15Dec 7, 2025Updated 10 months ago
- HTTP responses powered by AI☆16Mar 25, 2025Updated last year
- ☆13Sep 11, 2026Updated last month
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Oct 3, 2026Updated 3 weeks ago
- Demonstrator for OSDev.org☆13Jan 6, 2019Updated 7 years ago
- Blazing fast and light SIMD JSON parser in a few hundreds lines of C Code☆10Jun 27, 2020Updated 6 years ago
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- Convert pyim dictionary to fcitx dictionary☆12Feb 12, 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.
- 2024년 C++ Korea 6월 밋업 핸즈온 트랙 - 빠르게 살펴보는 C++ 동시성☆10Jul 8, 2024Updated 2 years ago
- [ICCV 2023] Efficient Unified Demosaicing for Bayer and Non-Bayer Patterned Image Sensors☆14Oct 12, 2023Updated 3 years ago
- JSON parser in c☆18Apr 1, 2025Updated last year
- PArallel PArser GENeratOr☆14Sep 11, 2015Updated 11 years ago
- ☆12Dec 27, 2021Updated 4 years ago
- FastPy is a statically typed programming language with pythonic syntax.☆10Aug 8, 2022Updated 4 years ago
- My solutions to OpenAI gym problems.☆10Jul 31, 2016Updated 10 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
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- 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.
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- A Python implementation of an LC-3 virtual machine☆12Jan 4, 2019Updated 7 years ago
- A small functional language with effect inference based on Koka.☆10Nov 19, 2016Updated 9 years ago
- A simple video convertor for Mac☆19Dec 11, 2021Updated 4 years ago
- Pluggable markup text editor with stylable HTML previewing.☆14Mar 4, 2023Updated 3 years ago
- 로버트 나이스트롬의 인터프리터 in Java, C / CRAFTING INTERPRETERS☆13Nov 15, 2023Updated 2 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago