planetlambert / turing
A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
☆45Updated 9 months ago
Alternatives and similar repositories for turing:
Users that are interested in turing are comparing it to the libraries listed below
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- Brzozowski derivative python sketch☆85Updated 11 months ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆120Updated last month
- ☆50Updated 9 months ago
- An ngn/k tutorial.☆200Updated 9 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- PostgreSQL Prolog language handler☆132Updated 11 months ago
- the origins of J☆62Updated last year
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 2 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆77Updated 2 weeks ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆35Updated last year
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- ☆184Updated this week
- A small language that compiles to WebAssembly Text format☆74Updated 11 months ago
- Visualize binary files☆129Updated 2 months ago
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated last year
- Mini elm-inspired utilities for Ocaml CLI applications☆75Updated 4 months ago
- Autoregressive transformers in APL☆99Updated last month
- An online IDE for visual programming in Prolog☆240Updated last week
- Navigating arbitrarily complex bus systems can be tricky, especially as bus listings and routes are listed in O(N) style wall-posters. Ca…☆71Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- a small, lightweight crate for numerical integration written in Rust.☆101Updated this week
- Minify CSS files through refactoring☆261Updated last year
- ☆82Updated last month
- Chess, but each square also follows the rules of Conway's Game of Life☆49Updated last year
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆87Updated 6 months ago
- Infinitely configurable integrated IDE and text editor☆126Updated 5 months ago
- A decentralized social protocol based on git☆131Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆167Updated 3 years ago