Minimal C++ asynchronous network library for distributed systems.
☆38May 3, 2021Updated 5 years ago
Alternatives and similar repositories for salticidae
Users that are interested in salticidae are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆289Jun 22, 2023Updated 3 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- Simple and modular write-ahead-logging implementation.☆25Feb 6, 2024Updated 2 years ago
- ☆23Jan 15, 2024Updated 2 years ago
- CS 5830: Cryptography☆15May 17, 2017Updated 9 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.
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 6 years ago
- DF Bot☆14Sep 29, 2021Updated 4 years ago
- BFT-SMaRt's project home page☆457Nov 19, 2025Updated 8 months ago
- Concurrent cross-platform terminal interface☆21Apr 15, 2023Updated 3 years ago
- ☆22Oct 3, 2022Updated 3 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- Lua like script language☆17Apr 26, 2016Updated 10 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 6 years ago
- An ESBuild server for Dark Forest plugin development.☆16Jun 15, 2022Updated 4 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.
- High Performance Key-Value Store☆50Updated this week
- ☆14Jul 20, 2017Updated 9 years ago
- ☆23Mar 7, 2024Updated 2 years ago
- Proof-of-Reserves tool for Bitcoin☆50Oct 25, 2023Updated 2 years ago
- ☆14Sep 28, 2020Updated 5 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 8 years ago
- Explore JIT in TiDB☆27Jan 8, 2022Updated 4 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 8 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 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.
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆19Updated this week
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- ☆12Sep 2, 2023Updated 2 years ago
- Named arguments for C++17☆31Jul 25, 2025Updated last year
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- atomic lite - a C++11 atomic operations library for C++98 and later☆16Nov 28, 2025Updated 8 months ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 5 years ago
- ☆10Apr 6, 2026Updated 4 months ago
- 3 methods of implementing whitelist in smartcontracts: On-chain whitelist, Digital signature, Merkle tree☆12Oct 10, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Mar 19, 2024Updated 2 years ago
- A proof-of-work blockchain system based on a novel consensus mechanism design based on a Structured DAG.☆25Aug 13, 2020Updated 6 years ago
- 逃离叙事：加密思潮十日谈☆11Updated this week
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- ☆16Apr 12, 2021Updated 5 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- c++11 framework for building server☆13Feb 15, 2022Updated 4 years ago