基于 Raft 共识算法的 K-V 数据库
☆62Aug 15, 2023Updated 3 years ago
Alternatives and similar repositories for Raft-KV
Users that are interested in Raft-KV are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 收集轮子类项目☆1,244May 20, 2023Updated 3 years ago
- 爬取哔哩哔哩（bilibili）上各类视频的弹幕数据，进行可视化展示，文本分类☆10Dec 20, 2020Updated 5 years ago
- this is raft java project. raft-kv-storage☆862Jun 5, 2025Updated last year
- 前端UI框架整理，各种前端html模板整理（hplus，AmazeUI，LayUI）☆12Mar 31, 2020Updated 6 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- developing tools for LIAF-SNNs and LIF-SNNs☆10Sep 14, 2022Updated 3 years ago
- Java 实现的分布式系统课程(MIT6.824)☆156Aug 10, 2022Updated 4 years ago
- The basic cache tool for java.(java 手写实现渐进式 redis 缓存工具，高性能+可拓展性强)☆436Jun 23, 2025Updated last year
- Recent works have demonstrated that deep learning algorithms were very efficient to conduct security evaluations of embedded systems and …☆15Mar 13, 2019Updated 7 years ago
- MIT6.830要我们基于java语言实现一个数据库系统，一共6个lab。☆38Oct 20, 2022Updated 3 years ago
- Pytorch implementation of ANN-SNN representation similarity analysis (TMLR 2023)☆13Apr 25, 2023Updated 3 years ago
- Simple Git Implementation in Java☆33Sep 17, 2025Updated 11 months ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 years ago
- ☆15Nov 23, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The CompCert formally-verified C compiler☆11Aug 8, 2026Updated last week
- Study base on MIT 6.824 raft course☆36Feb 10, 2023Updated 3 years ago
- This repository is for my solutions for Stanford CS 106X.☆12Nov 17, 2018Updated 7 years ago
- raft协议的Java版本简单实现☆94Dec 16, 2022Updated 3 years ago
- ☆15Oct 27, 2020Updated 5 years ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- 一个简单的数据库实现☆1,166Feb 6, 2024Updated 2 years ago
- [AAAI-25 Oral] Adaptive Calibration☆15Jul 6, 2025Updated last year
- RAG Hallucination Detecting By LRP.☆11Mar 31, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- micro-note markdown editor run local☆10Jul 13, 2023Updated 3 years ago
- ☆10Nov 26, 2024Updated last year
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- Compiler Principle, Design, Implementation and Optimization☆12Jul 19, 2015Updated 11 years ago
- 基于 Netty + Zookeeper + Protostuff 的简易 RPC 框架☆50Sep 7, 2021Updated 4 years ago
- Code for DCT_SNN, an input encoding scheme for SNNs using DCT☆21Sep 30, 2021Updated 4 years ago
- Android 第三方登录、分享（ShareSDK、友盟）☆11Jan 25, 2018Updated 8 years ago
- FedNew: A Communication-Efficient and Privacy-Preserving Newton-Type Method for Federated Learning☆18Jun 2, 2022Updated 4 years ago
- ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架☆142Jun 9, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Feb 11, 2025Updated last year
- FSE 2023 RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair☆13Oct 23, 2024Updated last year
- ☆17Nov 18, 2024Updated last year
- An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.☆18Mar 16, 2013Updated 13 years ago
- 从零开始，手写一个RPC，任何人都能看懂☆948Aug 4, 2024Updated 2 years ago
- [NeurIPS 2025]: Personalized Safety in LLMs — A Benchmark and a Planning-Based Agent Approach☆18Oct 30, 2025Updated 9 months ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago