☆15Mar 29, 2020Updated 6 years ago
Alternatives and similar repositories for hovercraft
Users that are interested in hovercraft are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Jul 21, 2022Updated 3 years ago
- ☆12Nov 16, 2022Updated 3 years ago
- ☆10Aug 14, 2020Updated 5 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆46Mar 16, 2023Updated 3 years ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Cloud Native Distributed Nearest Neighbour Search☆15Jun 9, 2020Updated 6 years ago
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago
- A client-server app to send protobuf message over TCP☆12Apr 16, 2019Updated 7 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆43Oct 12, 2020Updated 5 years ago
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Apr 18, 2019Updated 7 years ago
- ☆12Sep 10, 2021Updated 4 years ago
- Load generator and trace sampler for serverless computing☆26Jun 24, 2026Updated last week
- Implement HotStuff consensus with go-lang☆10Jul 29, 2020Updated 5 years ago
- ☆57Jan 25, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Decentralized Marketplace built on Hyperledger Fabric. This business network allows listing of spots, enforcing contracts, managing parti…☆12Oct 6, 2017Updated 8 years ago
- Seide Framework☆19Apr 9, 2012Updated 14 years ago
- An HTTP Server for FPGAs☆17Sep 26, 2023Updated 2 years ago
- Optimizing data-intensive systems in disaggregated data centers☆13Jun 13, 2022Updated 4 years ago
- Pigcha是一款免费上网的工具又名网络加速器，具有快速，私密，安全，稳定等特点。pigchavpn pigpigchacha☆10Jun 22, 2026Updated last week
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 5 years ago
- Build tensorflow wheel for alpine☆10Jul 2, 2020Updated 5 years ago
- raft practice on mit 6.824 2022 lab☆11Dec 29, 2022Updated 3 years ago
- c++ implementation for ssh detector for object detect. something likes ssd☆14Jan 14, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆175Mar 28, 2024Updated 2 years ago
- ☆15Aug 10, 2017Updated 8 years ago
- LLM checkpointing for DeepSpeed/Megatron☆25Nov 30, 2025Updated 7 months ago
- ☆18Jun 8, 2021Updated 5 years ago
- ☆14Aug 3, 2020Updated 5 years ago
- [AAAI 2024] UniAP: Towards Universal Animal Perception in Vision via Few-shot Learning☆12Dec 10, 2023Updated 2 years ago
- jwt for embedded (https://jwt.io)☆11Apr 12, 2021Updated 5 years ago
- A High-performance Key-Value Database working with Intel® Optane™ Persistent Memory☆20Dec 19, 2020Updated 5 years ago
- 第二届数据库大赛—Tair性能挑战复赛代码☆19Dec 12, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- One weird unix trick☆25Apr 1, 2024Updated 2 years ago
- Public working documents (e.g., Internet drafts)☆27Jun 8, 2018Updated 8 years ago
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years ago
- Dirigent: Lightweight Serverless Orchestration☆45Aug 26, 2025Updated 10 months ago
- 使用高阶函数开发语法分析器☆31Feb 28, 2019Updated 7 years ago
- NetChain in P4☆18Jul 4, 2020Updated 5 years ago
- Original materials for the "Introduction to Solving Biological Problems with Python" 2 days course☆10Jun 25, 2018Updated 8 years ago