Slides and resources for talks on partition tolerance
☆33Jun 5, 2018Updated 7 years ago
Alternatives and similar repositories for jepsen-talks
Users that are interested in jepsen-talks are comparing it to the libraries listed below
Sorting:
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2025Updated 6 months ago
- obigstore: database with BigTable-like data model atop LevelDB☆44Sep 26, 2017Updated 8 years ago
- Virtual network interface and software bridge for Mirage☆16Mar 6, 2025Updated last year
- 🔨 Chrome DevTools Protocol toolkit for Rust☆26Mar 28, 2019Updated 6 years ago
- 382 Slayer Leecher Keywords.☆10Apr 19, 2021Updated 4 years ago
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- High-performance workflow platform for real-time data orchestration. Scalable by design, fault-tolerant by nature, and built for complex …☆31Updated this week
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆36Jul 7, 2020Updated 5 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Jul 30, 2019Updated 6 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- audiofile.cc☆16Jun 27, 2011Updated 14 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated 2 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Apache Milagro Decentralized Trust Authority☆11Mar 7, 2023Updated 3 years ago
- the zero network protocol☆25Jul 21, 2020Updated 5 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- HTTP load testing tool powered by Rust☆14Aug 14, 2018Updated 7 years ago
- Hadoop interface for Xiaomi Open Storage☆13Apr 10, 2023Updated 2 years ago
- Utilities for building distributed systems on top of mesos☆23Aug 25, 2018Updated 7 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Infrastructure to collect metrics from OCaml applications.☆46Jun 16, 2025Updated 8 months ago
- A networking layer of DC/OS☆47May 19, 2021Updated 4 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- ☆14Feb 17, 2019Updated 7 years ago
- Now deprecated -- MMD v6 has better (and easier) support for exporting EPUB v3☆21Jan 13, 2014Updated 12 years ago
- Rust cloud object storage tools☆12Aug 9, 2021Updated 4 years ago
- A distributed social network for serious discussions and funny topiqs :).☆13Nov 20, 2019Updated 6 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- OCaml library for forking child processes to perform work on multiple cores☆17Sep 9, 2019Updated 6 years ago
- Known User Implementation (v.3.x) for Ruby (On Rails)☆10Jan 14, 2026Updated last month