Distributed systems lecture notes
☆75Oct 31, 2025Updated 10 months ago
Alternatives and similar repositories for dist-sys
Users that are interested in dist-sys are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Aug 13, 2025Updated last year
- ☆12Mar 14, 2024Updated 2 years ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 5 years ago
- Moved to Codeberg, this repo is just a (temporary) mirror -- Toy Parser Generator is a lexical and syntactic parser generator for Python.☆13Jul 26, 2026Updated 2 months ago
- A generic network synchronisation protocol for Automerge☆16Dec 5, 2022Updated 3 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.
- ☆16Sep 4, 2023Updated 3 years ago
- Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming☆12Feb 22, 2021Updated 5 years ago
- My implementation of CASPaxos☆11Feb 23, 2019Updated 7 years ago
- Materials and content for the 3-episodes Event Streaming Series by DataStax Developers☆11Sep 8, 2021Updated 5 years ago
- ☆42Apr 12, 2020Updated 6 years ago
- A complete daily plan for studying to become a Google software engineer.☆10Oct 9, 2016Updated 9 years ago
- Towards an implementation of hierarchical temporal memory and the cortical learning algorithm by Jeff Hawkins and Dileep George of Nument…☆12Mar 15, 2017Updated 9 years ago
- Web application for designing DNA structures such as DNA origami.☆39Updated this week
- Veritrans integration library for node.js☆11Oct 9, 2017Updated 8 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.
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Jun 18, 2019Updated 7 years ago
- For hosting ATS3 and developing CodeDepot☆19Aug 31, 2026Updated 3 weeks ago
- How to prepare system design questions for IT company☆11Dec 10, 2014Updated 11 years ago
- The implementation of https://github.com/lucasheld/uptime-kuma-api with fastapi☆11Dec 14, 2022Updated 3 years ago
- GenericSpark☆10Jun 12, 2015Updated 11 years ago
- JSON casting and validation library based on Elixir type specifications☆27Feb 3, 2026Updated 7 months ago
- toolings for pentester to makes their life easier☆10Feb 25, 2023Updated 3 years ago
- parsec for nim☆13Jun 22, 2020Updated 6 years ago
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Курс Nand2Tetris в школе "Интеллектуал"☆19May 11, 2017Updated 9 years ago
- SheepDB is a lightweight service that uses Google Spreadsheets as a storage backend. It provides an API server for managing your data.☆11Feb 17, 2025Updated last year
- Getting started with Pulsar and Cassandra☆20Feb 3, 2021Updated 5 years ago
- A high-performance, concurrent hash table☆24Dec 15, 2013Updated 12 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,745Jan 23, 2026Updated 8 months ago
- Hibernate 2nd level cache using Redis.☆27Oct 13, 2016Updated 9 years ago
- ☆18May 28, 2021Updated 5 years ago
- Giraffa FileSystem (Slack: giraffa-fs.slack.com)☆18Mar 8, 2017Updated 9 years ago
- Rust CASPaxos implementation☆64Oct 27, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- A package to load environment variable files into emacs☆10May 15, 2018Updated 8 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- A batteries included docker build including Streamlit + Visualization Tools + Pandas/Numpy + More☆10Feb 14, 2021Updated 5 years ago
- ☆25Aug 5, 2021Updated 5 years ago
- Literature references for “Designing Data-Intensive Applications”☆7,258Feb 7, 2026Updated 7 months ago
- Extrator do conteúdo da página de transparência da Secretaria de Segurança Pública de São Paulo☆10Aug 25, 2018Updated 8 years ago