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
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 5 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Collaborative Lisp coding on Discord☆35Feb 5, 2024Updated 2 years ago
- ☆29Jul 22, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Updated this week
- 🦄 🦄 🦄 Core smart contracts of Uniswap v3☆36May 19, 2022Updated 4 years ago
- JSY is an indented (offside) JavaScript dialect. We believe indentation is better at describing code blocks.☆10Jan 2, 2026Updated 8 months ago
- The Lens Protocol☆17Jun 13, 2022Updated 4 years ago
- A Chip-8 emulator written in C with raylib☆14Oct 20, 2025Updated 10 months ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Interactive, web-based visual math assistant☆14Apr 2, 2026Updated 5 months ago
- Web based fantasy console and JavaScript library☆17Sep 10, 2026Updated last week
- Optiflop measures the optimally achievable FLOPs for mathematical operations on various platforms.☆14Jul 29, 2026Updated last month
- 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.
- Fortran 2003 interface bindings to POSIX Threads.☆11Jun 5, 2020Updated 6 years ago
- PTM (Programmable Tile Machine) is a "pseudo-8-bit fantasy computer" that you can program using a built-in programming language called PT…☆16Jul 16, 2026Updated 2 months ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago
- PityBoy is a fantasy console written in C++, inspired by the famous Gameboy☆16Oct 12, 2023Updated 2 years ago
- ☆12Feb 5, 2023Updated 3 years ago
- Compiler backend☆16Aug 7, 2026Updated last month
- Serverless function on Reth☆75Aug 22, 2024Updated 2 years ago
- string diagrams for the working programmer☆15Jul 17, 2023Updated 3 years ago
- Notes from the stream where I was checking out QBE☆24Mar 2, 2024Updated 2 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.
- Fortran 2008 interface bindings to Lua 5.3☆18Sep 26, 2023Updated 2 years ago
- Textbook on non-classical logics☆14Jul 12, 2026Updated 2 months ago
- Experimental ruby-based Fortran REPL☆14Dec 2, 2015Updated 10 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- A framework for building Fortran code analysis tools in Python.☆18Sep 10, 2022Updated 4 years ago
- $ pip install pyropes | This is an implementation of Rope/Chord data structure.☆14Sep 26, 2020Updated 5 years ago
- [migrated to codeberg and git.sr.ht] a lightweight microblog theme for zola☆14Jun 21, 2023Updated 3 years ago
- Python library to parse dates in the formats in the ISO 8601 standard.☆27Jul 2, 2018Updated 8 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆16May 18, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🗓 Events statically-generated landing page☆14May 20, 2026Updated 3 months ago
- Historical Bell Labs ratfor code. Plus an attempt to modernize it.☆22Dec 12, 2021Updated 4 years ago
- The Divine Companions Monorepo☆16Sep 8, 2026Updated last week
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- 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
- Run or launch external applications, system commands, customized scripts from command pallete. Just like "!xxx" in VIM.☆11Apr 17, 2016Updated 10 years ago
- NOAA-GFDL's Sea Ice Simulator version 2☆16Jul 27, 2026Updated last month