Distributed Systems Reading Group
☆20Nov 28, 2017Updated 8 years ago
Alternatives and similar repositories for dsrg
Users that are interested in dsrg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An asynchronous leased value☆17Nov 8, 2019Updated 6 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 6 years ago
- Provides a Paxos-based persistent log type construct.☆12Oct 13, 2020Updated 6 years ago
- Readings in Number Theory and Computing☆12Apr 7, 2014Updated 12 years ago
- bkd tree for external storage☆18Apr 23, 2016Updated 10 years ago
- 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.
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 10 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- Continuously read/write to disk using random offsets and lengths .☆27Mar 17, 2026Updated 7 months ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- User programs for rCore OS☆19Jun 7, 2022Updated 4 years ago
- Implement algorithms from Nancy Lynch's Distributed Algorithms book☆15Oct 3, 2022Updated 4 years ago
- Timer facilities for Tokio based on OS-level primitives.☆14May 7, 2020Updated 6 years ago
- A pool of workers operating on a single set of mio connections☆11Dec 4, 2018Updated 7 years ago
- A tool for running concurrent multi-configuration experiments.☆12Jul 10, 2017Updated 9 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.
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 9 years ago
- Gradle Plugin for ScalaPB☆12Jul 1, 2020Updated 6 years ago
- Build compressed archives for static files and serve them over HTTP☆35Jan 5, 2019Updated 7 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆32Feb 27, 2013Updated 13 years ago
- Attempt at an importer for Rust☆11Apr 30, 2018Updated 8 years ago
- Docker container with SonarQube and useful plugins for Java related projects☆10Sep 20, 2017Updated 9 years ago
- Simple bash script for retrieving song lyrics.☆11Apr 19, 2017Updated 9 years ago
- Intel compiler for ArchLinux☆11Oct 28, 2015Updated 11 years ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Nov 1, 2013Updated 13 years ago
- a static site generator☆10Sep 7, 2016Updated 10 years ago
- A collection of semi useful tips for Linux users that is growing with every challenge I overcome.☆12Jan 9, 2020Updated 6 years ago
- Course Projects for CS 61B, the data structures class at UC Berkeley, Spring 2014☆10Oct 7, 2014Updated 12 years ago
- Script for generating Arch Linux cloud images☆14Jul 27, 2017Updated 9 years ago
- An employee / team handbook template☆21Oct 5, 2018Updated 8 years ago
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 7 years ago
- Your indispensable partner in programming☆15Jun 8, 2023Updated 3 years ago
- Hanabi Slack bot☆13Oct 1, 2026Updated last month
- 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.
- Rust library to simplify making slack bots☆18Dec 11, 2016Updated 9 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Apr 12, 2019Updated 7 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- ☆13May 26, 2017Updated 9 years ago
- Simple desktop notifier for keybase chat☆19Mar 27, 2020Updated 6 years ago