Distributed Systems Consistency Reading Group
☆43Sep 20, 2020Updated 6 years ago
Alternatives and similar repositories for consistency_in_distributed_systems
Users that are interested in consistency_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:
- Paper Summaries☆58Nov 18, 2020Updated 5 years ago
- VanillaComm is a collection of reliable group communication primitives (e.g., total-ordering) that can benefit the distributed database s…☆12Dec 19, 2025Updated 9 months ago
- Distributed Systems in OCaml☆21Jun 30, 2015Updated 11 years ago
- A collection of state machine replication protocols☆124Dec 8, 2022Updated 3 years ago
- A Javascript ARIES Simulator☆61Dec 27, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A playground to experiment with Raft proposal pipeline optimization☆16Nov 4, 2022Updated 3 years ago
- ☆11May 25, 2021Updated 5 years ago
- Milume: explore spatial biology in your notebook. Layer images, cells, and transcripts in 3D, in one reactive widget.☆22Updated this week
- Agentic scientific-computing platform: a reactive multi-agent team that orchestrates PINA physics-informed neural-network workflows via p…☆15Updated this week
- A utility for async batch jobs in marimo☆13Mar 12, 2025Updated last year
- Turn wasm-compatible marimo notebooks on Github/Gitlab into interactive wasm notebooks☆28Oct 10, 2026Updated last week
- valhallr: A Tidy R Interface to the Valhalla Routing Engine☆15Jul 8, 2024Updated 2 years ago
- A relational database system made scalable, available, and elastic.☆20Feb 2, 2023Updated 3 years ago
- Reproduced the popular Facebook game -- Tetris Battle! Also provided openAI environments.☆25Dec 7, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- record daily learning☆11Aug 13, 2019Updated 7 years ago
- Pure Rust crate for converting Mermaid diagram syntax to SVG☆28Jul 14, 2026Updated 3 months ago
- Experimental Marimo extension for Agentic Notebooks -- integrating AI Agents into the Notebook workflow☆16Oct 11, 2025Updated last year
- Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"☆13Mar 12, 2021Updated 5 years ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆18Apr 6, 2026Updated 6 months ago
- Run Service Weaver applications on vanilla Kubernetes.☆64Jul 18, 2025Updated last year
- Cloud Native Distributed Nearest Neighbour Search☆15Jun 9, 2020Updated 6 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Mar 12, 2026Updated 7 months ago
- Sageopt enables proof-based signomial and polynomial optimization.☆14Mar 3, 2026Updated 7 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.
- An in-memory implementation of the AWS S3API for Go.☆13Sep 17, 2025Updated last year
- Run computational experiments using marimo notebooks☆23Mar 31, 2026Updated 6 months ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Mar 4, 2020Updated 6 years ago
- This repo contains code for Numerous widgets, patterns and tools to support developing apps in frameworks like Marimo and Panel. The widg…☆18Jul 10, 2025Updated last year
- Yet another project to make the TGAM1 module inside Mattel's MindFlex toy do useful things☆11Aug 26, 2019Updated 7 years ago
- Record Database learning☆13Dec 2, 2023Updated 2 years ago
- Embed Pyodide-powered, entirely serverless Gradio apps into Quarto documents.☆17Sep 5, 2026Updated last month
- Cython compilation support for marimo notebooks☆16Mar 5, 2026Updated 7 months ago
- The Self-Driving Database Management System☆12Jun 22, 2018Updated 8 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.
- 🎬 Build custom reports, apps, and presentations from the same notebook☆56Updated this week
- GitHub action for deleting assets from a GitHub release.☆17Sep 13, 2026Updated last month
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- LeetCode and Competitive Programming Solutions in C++, Python, Rust, Go, Java, and Kotlin☆11Mar 29, 2026Updated 6 months ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆48May 22, 2023Updated 3 years ago
- 一个 xjb 写的 DB☆16May 17, 2020Updated 6 years ago
- Formatter for CockroachDB's additions to the Go style guide.☆20Sep 15, 2026Updated last month