Educational comparison of the Paxos and Raft distributed consensus algorithms
☆13Jul 23, 2023Updated 3 years ago
Alternatives and similar repositories for paxos_vs_raft
Users that are interested in paxos_vs_raft 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
- A Full Transcript and Slides from the talk "Attacks on Anonymity Systems: The Theory" by Len Sassaman and Roger Dingledine in 2003☆17Feb 28, 2024Updated 2 years ago
- YouTube Transcript Cleaner is a simple web-based application that improves the readability of YouTube transcripts.☆30Feb 27, 2025Updated last year
- Web app delivering 40Hz light and sound stimulation for gamma entrainment research☆31Jan 30, 2024Updated 2 years ago
- See the most influential users who have starred or forked a given repo (sorted by earned stars and follower count)☆23Aug 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An introduction to temporal logic and how it can be used to analyze concurrency☆112Jan 24, 2024Updated 2 years ago
- Network observer that tracks outbound connections from AI CLI processes (Claude Code, Codex, Gemini), attributing sockets to providers in…☆31Updated this week
- Lamport's Bakery Algorithm Demonstrated in Python☆98Jan 19, 2024Updated 2 years ago
- Bayesian process classifier that detects abandoned/zombie processes and recommends safe cleanup actions☆29Updated this week
- Real-time monitoring dashboard for AI coding agent fleets: session health, output streaming, and observability across Claude, Codex, and …☆25Oct 14, 2026Updated 3 weeks ago
- Fixes misaligned right borders in ASCII art diagrams with a single command☆31Oct 14, 2026Updated 3 weeks ago
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆39Updated this week
- Prevent processes from taking down your machine or making it unresponsive.☆31Updated this week
- Tmux session management toolkit for spawning and coordinating multiple AI coding agents across tiled panes☆12Sep 21, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A tiny, CPU-efficient transformer for generating ASCII art with 2D positional encoding☆13Oct 26, 2026Updated last week
- Clean-room Rust reimplementation of SciPy with Condition-Aware Solver Portfolio (CASP) — runtime algorithm selection driven by conditioni…☆17Updated this week
- Interactive visual deep-dive into RaptorQ (RFC 6330) fountain codes — 5 hands-on visualizations, Python demos, and a first-principles wal…☆16Sep 21, 2026Updated last month
- 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 3 weeks ago
- Memory-safe clean-room Rust reimplementation of PyTorch with deterministic autograd contracts, strict/hardened compatibility modes, diffe…☆16Updated this week
- Copy-paste curl|bash one-liners to install every tool in the Agent Flywheel ecosystem: 23+ CLIs for AI agent orchestration, memory, secur…☆18Mar 22, 2026Updated 7 months ago
- Actual implementation of llm-docs.org project☆14Jun 2, 2025Updated last year
- Intercepts cargo/gcc builds from AI coding agents via hooks and transparently routes them to remote worker machines, returning artifacts …☆68Updated this week
- Memory-safe Rust userspace filesystems via FUSE and offline-image tools: a mature ext4 + btrfs base expanding to FAT16/FAT32, NTFS and ZF…☆25Updated this week
- 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.
- Memory-safe, clean-room Rust reimplementation of pandas with packetized conformance gates, strict/hardened runtime modes, and RaptorQ-bac…☆22Updated this week
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 8 months ago
- Iterative specification refinement tool: feeds your docs through GPT Pro Extended Reasoning via Oracle for multiple revision rounds until…☆68Updated this week
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- Memory-safe clean-room Rust reimplementation of NumPy with strict/hardened compatibility modes, deterministic stride calculus, differenti…☆24Updated this week
- Two-person rule CLI for AI coding agents: peer review and approval required before running potentially destructive commands☆82Updated this week
- CLI tool that converts public share links from ChatGPT, Gemini, Grok, and Claude into clean Markdown and static HTML transcripts with Git…☆29Updated this week
- Memory-safe clean-room Rust reimplementation of Redis 7.2.4 with drop-in RESP2/3 protocol parity across all 242 commands, strict/hardened…☆28Updated this week
- A blank-slate, memory-safe, ultra-high-performance property-graph database in Rust — unified MVCC/time-travel/branches/replication over a…☆31Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Barmaid is an open source command line tool to read and manipulate barcode and label BTW files as generated by Seagull Scientific's BarTe…☆14May 9, 2019Updated 7 years ago
- Harness the scientific methods of Sydney Brenner using AI Agents☆93Updated this week
- ☆12Jul 9, 2023Updated 3 years ago
- fire for the wall guide's webpage☆17Aug 25, 2025Updated last year
- Replace Splunk in your small company with this one weird trick!☆429Feb 27, 2025Updated last year
- Single CLI to monitor LLM coding-agent usage across 16+ providers (Codex, Claude, Gemini, Cursor, Copilot, and more): remaining quota, ra…☆91Oct 14, 2026Updated 3 weeks ago
- Trust-native JavaScript/TypeScript runtime platform built on franken_engine with deterministic compatibility, migration autopilot, extens…☆31Updated this week