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…☆288Jun 22, 2023Updated 3 years ago
- Rust Bloomfilters☆28Feb 11, 2022Updated 4 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- CS 5830: Cryptography☆15May 17, 2017Updated 9 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 6 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.
- 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
- 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
- High Performance Key-Value Store☆50Updated this week
- ☆14Jul 20, 2017Updated 9 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.
- ☆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 7 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 3 years ago
- Explore JIT in TiDB☆27Jan 8, 2022Updated 4 years ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆221Nov 29, 2022Updated 3 years ago
- A high-performance, concurrent hash table☆25Dec 15, 2013Updated 12 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 8 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.
- 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
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆16Updated this week
- A concurrency toolbox for c++11, including a cached thread pool executor, a shared timed mutex, a fair semaphore and several other utilit…☆15Feb 23, 2017Updated 9 years ago
- 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
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 years ago
- ☀️☆12Aug 24, 2022Updated 3 years ago
- Named arguments for C++17☆31Jul 25, 2025Updated last year
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 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.
- Bridge between Coz profiler and rust tracing☆14Sep 26, 2019Updated 6 years ago
- The DarkSae Market for Dark Forest☆28Aug 17, 2022Updated 3 years ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 5 years ago
- Lock-free RCU (Read-Copy-Update) user-space library☆13Jan 3, 2026Updated 6 months ago
- 3 methods of implementing whitelist in smartcontracts: On-chain whitelist, Digital signature, Merkle tree☆12Oct 10, 2022Updated 3 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- ☆10Mar 19, 2024Updated 2 years ago