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 2 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Collaborative Lisp coding on Discord☆34Feb 5, 2024Updated 2 years ago
- ☆29Jul 22, 2022Updated 3 years ago
- ☆13Jan 28, 2026Updated 2 months 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.
- A programming game sandbox inspired by CoreWar☆11Jun 4, 2024Updated last year
- The Lens Protocol☆17Jun 13, 2022Updated 3 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- PityBoy is a fantasy console written in C++, inspired by the famous Gameboy☆17Oct 12, 2023Updated 2 years ago
- A Chip-8 emulator written in C with raylib☆14Oct 20, 2025Updated 5 months ago
- Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.☆16Jun 13, 2020Updated 5 years ago
- Interactive, web-based visual math assistant☆12Apr 2, 2026Updated 2 weeks ago
- A comprehensive tutorial for the Idris2 programming language☆26Feb 27, 2026Updated last month
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆15Apr 13, 2023Updated 3 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Optiflop measures the optimally achievable FLOPs for mathematical operations on various platforms.☆14Nov 1, 2024Updated last year
- Fortran 2003 interface bindings to POSIX Threads.☆11Jun 5, 2020Updated 5 years 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
- Scale to zero Seafowl hosting with Cloud Run☆37Jun 6, 2023Updated 2 years ago
- Historical Bell Labs ratfor code. Plus an attempt to modernize it.☆20Dec 12, 2021Updated 4 years ago
- bookdown flavoured GitBook port for LaTeXML☆24Jan 17, 2026Updated 2 months ago
- Lean4 bindings for raylib☆24Mar 16, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tutorials on autoconf☆17Mar 15, 2016Updated 10 years ago
- Personal notes about Fortran programming language☆13Jun 3, 2021Updated 4 years ago
- ☆17Feb 10, 2026Updated 2 months ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- Fast, small, webkit based browser framework extensible by Lua.☆24Jul 20, 2015Updated 10 years ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 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