An implementation of the Raft consensus protocol.
☆14Aug 6, 2018Updated 8 years ago
Alternatives and similar repositories for quintet
Users that are interested in quintet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The offline version of acm-compiler-judge☆13May 16, 2019Updated 7 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- ☆15Nov 24, 2018Updated 7 years ago
- Public repository for "Numerical Methods for Data Science" (SJTU, May-June 2019)☆18Jun 13, 2019Updated 7 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 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.
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- Fantasy Ptrace☆23Mar 14, 2018Updated 8 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 8 years ago
- Lecture notes of Probability Theory.☆52Jun 20, 2018Updated 8 years ago
- ACM Class 2017 Computer Architecture☆10Jan 11, 2018Updated 8 years ago
- My simple CPU designed on Basys3 with RISC-V standard.☆11Jan 12, 2018Updated 8 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- [Abandoned] A toy asynchronous server, written in C++14☆20Sep 5, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Extensible backend of software mirror☆30Jul 17, 2026Updated last month
- Distributed hash table using a chord☆27Apr 17, 2018Updated 8 years ago
- A compiler for the course Compiler 2017 at ACM Class, SJTU.☆81May 26, 2018Updated 8 years ago
- Hall of Shame☆67Nov 13, 2020Updated 5 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 6 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Nov 23, 2014Updated 11 years ago
- CS 5830: Cryptography☆15May 17, 2017Updated 9 years ago
- MOOC & Open Source Group☆19Apr 1, 2018Updated 8 years ago
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An external memory allocator example for PyTorch.☆16Aug 10, 2025Updated last year
- SSA vs ANF☆49Jul 20, 2015Updated 11 years ago
- [IROS 2022] Transporters with Visual Foresight (TVF)☆11Jul 25, 2022Updated 4 years ago
- ☆70Jun 21, 2020Updated 6 years ago
- A FPGA supported RISC-V CPU with 5-stage pipeline implemented in Verilog HDL☆98Dec 5, 2019Updated 6 years ago
- ☆10Jun 28, 2022Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- A simple 2D ball collision engine.☆12Jun 15, 2023Updated 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.
- ☆10Mar 18, 2020Updated 6 years ago
- Proactive-adaptive arbitration between shipping compute and shipping data☆18Jul 8, 2021Updated 5 years ago
- Ray Tracing☆21Apr 6, 2017Updated 9 years ago
- ☆12Apr 18, 2019Updated 7 years ago
- Infrastructure of SJTUG mirrors☆62Updated this week
- (Beta Version!) Experiment Code for Paper ``CoT: Cooperative Training for Generative Modeling of Discrete Data''☆73May 25, 2019Updated 7 years ago
- ☆39Aug 2, 2019Updated 7 years ago