A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
☆46Jun 16, 2024Updated last year
Alternatives and similar repositories for turing
Users that are interested in turing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 3 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Programming language for ternary computing☆31Feb 7, 2021Updated 5 years ago
- ☆29Jul 22, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 4 months 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.
- ☆57Nov 12, 2025Updated 7 months ago
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆15Apr 13, 2023Updated 3 years ago
- Optiflop measures the optimally achievable FLOPs for mathematical operations on various platforms.☆14Nov 1, 2024Updated last year
- Scale to zero Seafowl hosting with Cloud Run☆37Jun 6, 2023Updated 3 years ago
- Lean4 bindings for raylib☆27Jun 2, 2026Updated last week
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆21Apr 13, 2025Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- ☆17Feb 10, 2026Updated 4 months ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 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.
- fast, lock-free, core-dumpable prints (meaning you can see not-yet-flushed prints in core dumps/live processes)☆27Oct 24, 2013Updated 12 years ago
- Fast, small, webkit based browser framework extensible by Lua.☆24Jul 20, 2015Updated 10 years ago
- Various C programs I have created from the https://learncgames.com website☆12Mar 5, 2021Updated 5 years ago
- Serverless function on Reth☆75Aug 22, 2024Updated last year
- Record and playback a terminal session☆15Feb 4, 2013Updated 13 years ago
- ☆24Sep 1, 2021Updated 4 years ago
- Head tracking cursor control software.☆13Dec 6, 2016Updated 9 years ago
- Textbook on non-classical logics☆14Jun 25, 2025Updated 11 months ago
- Experimental ruby-based Fortran REPL☆14Dec 2, 2015Updated 10 years 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.
- A toy ELF parser/validator☆16Dec 18, 2024Updated last year
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆36Feb 25, 2024Updated 2 years ago
- Project Fluent for Clojure/script☆13Jun 3, 2026Updated last week
- $ pip install pyropes | This is an implementation of Rope/Chord data structure.☆14Sep 26, 2020Updated 5 years ago
- A simple bloom filter implementaiton using python☆12Mar 1, 2025Updated last year
- A simple 5/3/1 web app for tracking lifts and getting stronk.☆17Jan 3, 2026Updated 5 months ago
- DLang SQL Builder using prepared statements.☆10Jan 26, 2025Updated last year
- The Divine Companions Monorepo☆16Feb 28, 2026Updated 3 months ago
- ☆11Jul 24, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- ☆24Aug 16, 2023Updated 2 years ago
- Logic and Mechanized Reasoning☆116Jan 11, 2026Updated 5 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- A workflow management tool for numerical models on the NCI computing systems☆23Updated this week
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆14Feb 8, 2025Updated last year
- NOAA-GFDL's Sea Ice Simulator version 2☆16May 29, 2026Updated 2 weeks ago