An implementation of the Raft consensus protocol.
☆14Aug 6, 2018Updated 7 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 6 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- Public repository for "Numerical Methods for Data Science" (SJTU, May-June 2019)☆18Jun 13, 2019Updated 6 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- A MIPS CPU implemented in Verilog☆72Sep 12, 2017Updated 8 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.
- A RISC-V simulator☆37Aug 27, 2023Updated 2 years ago
- Distributed hash table using a chord☆27Apr 17, 2018Updated 8 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- Extensible backend of software mirror☆30Mar 23, 2025Updated last year
- Record of periodical sharing☆133Jun 19, 2023Updated 2 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- An external memory allocator example for PyTorch.☆16Aug 10, 2025Updated 8 months ago
- CS 5830: Cryptography☆15May 17, 2017Updated 8 years ago
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A post-modern boilerplate for C++ project, built on Cmake and Conan with Catch & Spdlog☆27Nov 19, 2018Updated 7 years ago
- a repo store the new tech stack's tutorial and usage☆11May 25, 2022Updated 3 years ago
- [IROS 2022] Transporters with Visual Foresight (TVF)☆11Jul 25, 2022Updated 3 years ago
- ☆70Jun 21, 2020Updated 5 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- 简易TCP/IP协议栈，支持TCP、UDP，支持DHCP动态获取IP，支持keep_alive等☆24Mar 30, 2018Updated 8 years ago
- ☆12Apr 18, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Proactive-adaptive arbitration between shipping compute and shipping data☆18Jul 8, 2021Updated 4 years ago
- ☆39Aug 2, 2019Updated 6 years ago
- Infrastructure of SJTUG mirrors☆61Apr 13, 2026Updated 2 weeks ago
- lecture notes of probability notes☆17Jul 7, 2020Updated 5 years ago
- Minimal C++ asynchronous network library for distributed systems.☆38May 3, 2021Updated 4 years ago
- Random collections of my interested research papers / projects☆20May 20, 2021Updated 4 years ago
- 上海地区高校技术团体组成的名字待定的团体☆52Jul 18, 2019Updated 6 years ago
- A Homework for Computer Architecture at SJTU☆14Jan 4, 2020Updated 6 years ago
- Implementation of Decision Stacks: Flexible RL via Modular Generative Models [NeurIPS 2023]☆12Jun 27, 2023Updated 2 years ago
- 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.
- PPDDL plan evalutation simulator☆15Dec 30, 2019Updated 6 years ago
- ☆13Jun 14, 2023Updated 2 years ago
- 2018年新版毛概纲要☆48Jun 30, 2019Updated 6 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- 🚆 Fine-grained analysis and visualization of Hangzhou Metro for efficient traveling in metro system. Project report, slide and presentat…☆22May 3, 2020Updated 5 years ago
- ☆69Jun 16, 2021Updated 4 years ago
- Collection of workflow execution instances for the Pegasus workflow management system.☆21Jun 23, 2024Updated last year