Lamport's Bakery Algorithm Demonstrated in Python
☆96Jan 19, 2024Updated 2 years ago
Alternatives and similar repositories for bakery_algorithm
Users that are interested in bakery_algorithm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Transform your code project into a Markdown document optimized for interaction with Language Learning Models like GPT-4, complete with dy…☆25Sep 29, 2023Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆110Jan 24, 2024Updated 2 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 7 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 months ago
- Simple Saltstack-like deployment system in 2k lines of Python☆29Feb 27, 2025Updated last year
- 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.
- Designing bridge trusses with Pytorch autograd☆61Feb 4, 2024Updated 2 years ago
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆176Feb 27, 2025Updated last year
- A clone of .GEARS' Flappy Bird in just over 1000 lines of C☆182Dec 14, 2024Updated last year
- The music of Fibonacci and prime numbers☆28May 28, 2021Updated 4 years ago
- Open-Source Software for Designing 3D-Printable Luneburg Lenses for RF Applications☆88Jan 23, 2026Updated 2 months ago
- High-performance vector similarity library in Rust with Python bindings: Spearman, Kendall, distance correlation, Jensen-Shannon, Hoeffdi…☆429Feb 25, 2026Updated last month
- YouTube Transcript Cleaner is a simple web-based application that improves the readability of YouTube transcripts.☆28Feb 27, 2025Updated last year
- Compile WebAssembly to native MicroPython modules☆153Jan 9, 2025Updated last year
- ☆21Nov 9, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Particles simulation with WebGPU☆99Dec 17, 2023Updated 2 years ago
- eBPF based tool to monitor disk usage, perform actions when threshold breached.☆24Mar 28, 2026Updated 2 weeks ago
- Emulador Genérico do Gabriel☆90Mar 27, 2026Updated 2 weeks ago
- ☆10Aug 31, 2021Updated 4 years ago
- This infrastructure uses AWS S3 to host a static website in a serverless way.☆20Oct 11, 2020Updated 5 years ago
- Run erlang as a WASI http server (vapourware)☆28Nov 14, 2024Updated last year
- Multi-Array Queue program codes☆78Mar 29, 2026Updated last week
- PoWx mission: Aiming at smaller energy per hash hardware.☆11Dec 18, 2021Updated 4 years ago
- A probabilistic approximate DNF counter☆39Nov 30, 2025Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Feb 3, 2025Updated last year
- Automatically turn your SQLalchemy Data Models into a Nice SVG Diagram☆290Feb 27, 2025Updated last year
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 10 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Jan 13, 2025Updated last year
- ☆37Jul 12, 2025Updated 8 months ago
- ☆38May 24, 2022Updated 3 years ago
- dynamically link without cgo☆10Jul 30, 2022Updated 3 years ago
- Embedded, small and composable Zero-Trust Teamserver made for collaborative Go programs or CLI applications.☆13Jul 10, 2025Updated 9 months ago
- Handling pipe of commands like a single command☆523Oct 16, 2024Updated last year
- 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.
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆102Feb 23, 2024Updated 2 years ago
- Tiny vi text editor clone with enough features to be truly useful☆29Jan 1, 2026Updated 3 months ago
- ☆12Jul 8, 2021Updated 4 years ago
- xv6 OS☆247Sep 24, 2025Updated 6 months ago
- Python quick reference☆21Nov 14, 2013Updated 12 years ago
- A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…☆25Aug 16, 2022Updated 3 years ago
- Slack Parser is a script to parse slack database and extract user-data, chat history, workspace information☆15Feb 21, 2021Updated 5 years ago