A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
☆47Jun 16, 2024Updated 2 years ago
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
- Collaborative Lisp coding on Discord☆35Feb 5, 2024Updated 2 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- ☆29Jul 22, 2022Updated 4 years ago
- On-chain competition framework for Lens Protocol☆20Mar 23, 2023Updated 3 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.
- 🦄 🦄 🦄 Core smart contracts of Uniswap v3☆36May 19, 2022Updated 4 years ago
- Agent-native finance starts with your filesystem.☆26Updated this week
- ☆15Jul 9, 2026Updated 4 months ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆14Jan 11, 2026Updated 9 months ago
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆16Apr 13, 2023Updated 3 years ago
- Mind Garden makes it easy to take notes that link to other notes.☆11Mar 15, 2021Updated 5 years ago
- A Smalltalk in Python☆11Apr 26, 2022Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Nov 3, 2026Updated last week
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- 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.
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- Compiler backend☆16Aug 7, 2026Updated 3 months ago
- [OLD REPO] Fixing wyrd compile issues in a modern archlinux environment☆10Feb 8, 2022Updated 4 years ago
- ☆14Oct 27, 2026Updated last week
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- A generational arena allocator for javascript☆13Nov 13, 2020Updated 5 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 8 years ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- A Socratic dialogue engine for AI agents.☆17Nov 30, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆16May 18, 2023Updated 3 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆15Oct 20, 2026Updated 3 weeks ago
- Abora is a collection of the Xanadu project with a focus on the Udanax-Gold implementation☆12Apr 19, 2014Updated 12 years ago
- The Divine Companions Monorepo☆16Oct 30, 2026Updated last week
- A Simple HTTP server library for Jai☆14Jan 27, 2025Updated last year
- ☆11Feb 17, 2023Updated 3 years ago
- A better maybe for Java (better than Optional)☆15May 17, 2026Updated 5 months ago
- EvE Online PI Templates☆11Oct 16, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A series of neural network implementations in Clojure, building up from a version with no external dependencies to a version using neande…☆12Jun 2, 2023Updated 3 years ago
- ☆12Sep 25, 2017Updated 9 years ago
- ☆10Jul 6, 2023Updated 3 years ago
- Like Docker, but for Squeak. You know, for kids. MOVED TO: https://git.leastfixedpoint.com/tonyg/squeaker☆14Dec 6, 2025Updated 11 months ago
- A Simple NoSQL DB 💾 written in TypeScript for Node.JS. 🚀☆11May 5, 2023Updated 3 years ago
- Run or launch external applications, system commands, customized scripts from command pallete. Just like "!xxx" in VIM.☆11Apr 17, 2016Updated 10 years ago
- ☆17Updated this week
Are these results useful?