Dicklesworthstone / bakery_algorithmLinks
Lamport's Bakery Algorithm Demonstrated in Python
☆95Updated last year
Alternatives and similar repositories for bakery_algorithm
Users that are interested in bakery_algorithm are comparing it to the libraries listed below
Sorting:
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆177Updated 8 months ago
- ☆52Updated last year
- This repo contains a new way to use bloom filters to do lossless video compression☆249Updated 5 months ago
- Rewriting Principia Mathematica in Lean☆135Updated last month
- Sequential Logic☆114Updated 2 months ago
- A clone of .GEARS' Flappy Bird in just over 1000 lines of C☆183Updated 10 months ago
- Optimally allocate poker chips using constrained, nonlinear optimization☆174Updated 10 months ago
- R.L. methods and techniques.☆200Updated 11 months ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆100Updated last year
- A small, portable, linear probing hash map☆144Updated 7 months ago
- PostgreSQL Prolog language handler☆135Updated last year
- ✨ rudimentary simulation of the three-body problem☆157Updated last year
- High-Performance Klong array language in Python.☆311Updated last month
- ☆96Updated last year
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆61Updated last month
- Run and explore Llama models locally with minimal dependencies on CPU☆189Updated last year
- Brzozowski derivative python sketch☆85Updated 7 months ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 8 months ago
- ☆126Updated 5 months ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated last year
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆150Updated 2 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 7 months ago
- Multi-Array Queue program codes☆76Updated 5 months ago
- Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux☆75Updated 8 months ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆241Updated 5 months ago
- A simple pleasant build system in Python.☆368Updated last month
- 21st century grep / find / ack / ag / rg on steroids☆156Updated 8 months ago
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆88Updated last month