分布式一致性协议 paxos/zab/raft 相关论文及中文译文
☆20Oct 12, 2018Updated 7 years ago
Alternatives and similar repositories for pasox_zab_protocol
Users that are interested in pasox_zab_protocol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Raft protocol implementation as part of "Distributed databases" course in UCU☆15Aug 5, 2019Updated 7 years ago
- Riak in Docker☆20May 31, 2021Updated 5 years ago
- My personal configuration files☆21Jul 30, 2026Updated last month
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Apache Pulsar Connectors - source and sink connectors for Apache Pulsar☆27Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Specifying and Verifying CRDT Protocols using TLA+☆42Jun 24, 2021Updated 5 years ago
- CRDTs implemented in Redis☆55Mar 14, 2023Updated 3 years ago
- .NET debugging visualiser for runtime-generated IL code (via DynamicMethod, etc)☆11Oct 12, 2017Updated 8 years ago
- Original: https://efbulkinsert.codeplex.com/☆11May 16, 2017Updated 9 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated 2 years ago
- A tool to sign or resign an existing .NET assembly and update all the references to it.☆15Oct 21, 2015Updated 10 years ago
- A Modern ROS TypeScript Library☆12Sep 3, 2022Updated 4 years ago
- Distributed cache implementation of IDistributedCache using PostgreSQL☆10Oct 27, 2025Updated 10 months ago
- an opinionated template project for cloudflare worker using hono☆14Jun 22, 2024Updated 2 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.
- ☆10Mar 3, 2020Updated 6 years ago
- A plugin for the svgjs library which gets the bbox of a path/polygon/polyline after all transformations applied.☆15Feb 16, 2017Updated 9 years ago
- ☆11Nov 8, 2021Updated 4 years ago
- Config files for my GitHub profile.☆13Feb 5, 2022Updated 4 years ago
- A P2P-based high performance key-value pair storage library for .NET☆13May 26, 2015Updated 11 years ago
- More effective shadowsocks server for Windows plantform☆12Nov 9, 2014Updated 11 years ago
- Generic Graph Data Structures and Algorithms for .NET☆13Jan 23, 2022Updated 4 years ago
- Jackson serializers for JTS Geometry objects☆15Jan 29, 2026Updated 7 months ago
- Manage your DbContexts the right way.☆12Jan 12, 2025Updated last year
- 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.
- ☆23Mar 10, 2025Updated last year
- Convert .srt subtitles to 3D .ass format for SBS, Over-Under, and Anaglyph video playback.☆15Jul 1, 2026Updated 2 months ago
- youku m3u8 解析，包含nodejs和python代码。为"一席App"使用☆14Nov 29, 2014Updated 11 years ago
- A simple abstraction layer over file system like APIs for .NET☆21Jun 22, 2022Updated 4 years ago
- Dependency Resolver: A compact C++14 library for streamlined dependency injection, supporting singleton, transient, and scoped services.☆10Jan 15, 2024Updated 2 years ago
- 网易云音乐tv版☆10Dec 11, 2022Updated 3 years ago
- Sample code on how to log the payload using spring boot☆16Oct 8, 2024Updated last year
- Inject deep copy constructors into C# types☆15Apr 25, 2022Updated 4 years ago
- It is a compelling data designer, used for BI designer☆10Mar 12, 2026Updated 6 months 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.
- xterm.js binding to Apple user interface frameworks.☆21Jul 12, 2022Updated 4 years ago
- 扫码枪钩子 用于无焦点获取扫码枪扫描数据☆15Dec 19, 2018Updated 7 years ago
- A RPC framework leveraging Spark RPC module☆207Mar 13, 2019Updated 7 years ago
- Mirror of Apache Qpid Broker-J☆71Updated this week
- ☆17Nov 7, 2017Updated 8 years ago
- SQL Todo Explorer is a SQL Server Management Studio add-in. It helps to navigate the list of "to-do" items within your databases.☆17Apr 3, 2017Updated 9 years ago
- Control and have synced your monitor brightness and contrast controls☆17Jan 2, 2021Updated 5 years ago