Lamport's Bakery Algorithm Demonstrated in Python
☆98Jan 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:
- Some Thoughts on AI Alignment: Using AI to Control AI☆16Feb 25, 2025Updated last year
- Educational comparison of the Paxos and Raft distributed consensus algorithms☆13Jul 23, 2023Updated 3 years ago
- Transform your code project into a Markdown document optimized for interaction with Language Learning Models like GPT-4, complete with dy…☆26Sep 29, 2023Updated 3 years ago
- Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathemati…☆58Jun 7, 2024Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆111Jan 24, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Idiomatic Rust bindings for iOS and macOS system libraries and frameworks.☆14Aug 3, 2025Updated last year
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆39Oct 14, 2026Updated 2 weeks ago
- A reverse literate programming tool.☆16Jun 26, 2024Updated 2 years ago
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆176Feb 27, 2025Updated last year
- Simple Saltstack-like deployment system in 2k lines of Python☆30Feb 27, 2025Updated last year
- Git-versioned backup tool for AI coding agent config folders (Claude Code, Codex, Cursor, Gemini, and more). Each agent gets its own git …☆36Updated this week
- A simple induction and BMC engine.☆25May 16, 2022Updated 4 years ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆105Feb 23, 2024Updated 2 years ago
- The music of Fibonacci and prime numbers☆28Apr 14, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Zero-setup bash CLI that downloads full-resolution images from iCloud, Dropbox, Google Photos, and Google Drive share links, bridging iPh…☆45Updated this week
- Tmux session management toolkit for spawning and coordinating multiple AI coding agents across tiled panes☆12Sep 21, 2026Updated last month
- A clone of .GEARS' Flappy Bird in just over 1000 lines of C☆182Dec 14, 2024Updated last year
- Python client SDK for the Qumulator quantum computing API☆20Sep 5, 2026Updated last month
- A tiny, CPU-efficient transformer for generating ASCII art with 2D positional encoding☆13Updated this week
- Clean-room Rust reimplementation of SciPy with Condition-Aware Solver Portfolio (CASP) — runtime algorithm selection driven by conditioni…☆16Updated this week
- Automatically turn your SQLalchemy Data Models into a Nice SVG Diagram☆295Feb 27, 2025Updated last year
- A minimal Rust linker☆21Mar 19, 2026Updated 7 months ago
- Convert Suno AI audio to CD quality (44.1kHz 16-bit WAV) in your browser☆13Sep 21, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Neovim window management built around destinations☆19Sep 5, 2026Updated last month
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Particles simulation with WebGPU☆95Dec 17, 2023Updated 2 years ago
- Memory-safe Rust userspace filesystems via FUSE and offline-image tools: a mature ext4 + btrfs base expanding to FAT16/FAT32, NTFS and ZF…☆23Updated this week
- Claude Code hook that detects context compaction and injects a reminder to re-read AGENTS.md, preventing post-compaction rule amnesia in …☆55Oct 14, 2026Updated 2 weeks ago
- ☆10Aug 31, 2021Updated 5 years ago
- a minimal lisp dialect REPL written entirely in rust☆23Jun 20, 2025Updated last year
- Emulador Genérico do Gabriel☆90Aug 12, 2026Updated 2 months ago
- Run erlang as a WASI http server (vapourware)☆28Nov 14, 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.
- TUI for combining source code files into LLM-ready prompts: tree explorer, syntax preview, token estimation, and structured XML output☆23Updated this week
- A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…☆25Aug 16, 2022Updated 4 years ago
- Pitting together all the best LLMs to fight in a coding tournament with no holds barred! Who will win? You!☆15Mar 22, 2026Updated 7 months ago
- This infrastructure uses AWS S3 to host a static website in a serverless way.☆20Oct 11, 2020Updated 6 years ago
- A simple Web Assembly Interpreter☆20Mar 15, 2024Updated 2 years ago
- An Analysis of Public PPP Loan Data To Uncover Fraud☆16Feb 20, 2025Updated last year
- A tiny script to enable efficient incremental file-based backups from Gmail takeouts.☆36Dec 26, 2025Updated 10 months ago