My Distributed Systems references
☆78Jan 24, 2025Updated last year
Alternatives and similar repositories for distributed-systems
Users that are interested in distributed-systems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Go to: http://exercism.io/☆68Jul 18, 2017Updated 8 years ago
- Key-value store for temporary items☆19Feb 14, 2018Updated 8 years ago
- ☆10Oct 3, 2017Updated 8 years ago
- ☆23May 9, 2023Updated 3 years ago
- A shitty SSH server/client written in Rust.☆12May 3, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Go Object Notation.☆24Jun 5, 2022Updated 4 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Test data integrity by comparing against an Oracle running in parallel☆32Updated this week
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated last year
- Export your readability links to pocket☆20Sep 6, 2016Updated 9 years ago
- A Spring example for the concurrent account balance transfer issue☆17Updated this week
- [DEPRECATED] Butterfly is a C library that implements a very simple 'dynamic' data-type. It could be used, for example, to manipulate JSO…☆15Apr 11, 2011Updated 15 years ago
- An absentminded tailor and his quick-witted accomplice struggle to escape a land where things aren't always what they seem.☆25Dec 26, 2015Updated 10 years ago
- Embed stuff in your Rust binary☆11Mar 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- Generates ffi-compatible layer for your rust code☆11Jul 4, 2020Updated 5 years ago
- Spring Social Login is a demo application of how to build authentication and authorization into your Spring Boot application based on OAu…☆16Jul 9, 2020Updated 5 years ago
- A tool to keep utility scripts neatly organized.☆15Jan 2, 2026Updated 5 months ago
- ☆10Feb 23, 2025Updated last year
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Feb 24, 2026Updated 3 months ago
- A redis compatible database.☆15Jul 23, 2021Updated 4 years ago
- Pusher Channels Haskell HTTP Library☆28Jun 1, 2026Updated 2 weeks ago
- Yet another Vulkan based rendering engine.☆11Jan 8, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Notes on Lambda Architecture☆11Feb 9, 2018Updated 8 years ago
- The torque project CLI toolchain☆16Jun 10, 2024Updated 2 years ago
- Paxos Made Moderately Complex☆191Aug 1, 2024Updated last year
- A list of small, self-contained programming projects.☆26Jul 10, 2014Updated 11 years ago
- SQL front-end in Rust☆14May 11, 2021Updated 5 years ago
- Fast key-value DB in Go.☆26Oct 15, 2024Updated last year
- A collection of semi useful tips for Linux users that is growing with every challenge I overcome.☆12Jan 9, 2020Updated 6 years ago
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 4 years ago
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆17Mar 12, 2026Updated 3 months ago
- 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.
- My Final Paper☆12Jun 28, 2015Updated 10 years ago
- TLA+ specifications for Kafka related algorithms☆90Jan 24, 2025Updated last year
- cursor location indicator for x11☆17Aug 18, 2020Updated 5 years ago
- ☆15Jul 27, 2018Updated 7 years ago
- ☆10Mar 10, 2024Updated 2 years ago
- idempotent bind function library.☆15May 24, 2016Updated 10 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago