Minimal C++ asynchronous network library for distributed systems.
☆38May 3, 2021Updated 4 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…☆286Jun 22, 2023Updated 2 years ago
- Website!☆22Sep 20, 2022Updated 3 years 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 8 years ago
- 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.
- Concurrent cross-platform terminal interface☆19Apr 15, 2023Updated 2 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Lua like script language☆18Apr 26, 2016Updated 9 years ago
- ☆22Oct 3, 2022Updated 3 years ago
- An ESBuild server for Dark Forest plugin development.☆16Jun 15, 2022Updated 3 years ago
- 🚀 PolyWars smart contracts for public review☆13Apr 3, 2022Updated 3 years ago
- High Performance Key-Value Store☆51Mar 7, 2026Updated 2 weeks ago
- Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819☆17Mar 10, 2023Updated 3 years ago
- Coroutine implementation for C++11☆18Apr 14, 2012Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Jul 20, 2017Updated 8 years ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆220Nov 29, 2022Updated 3 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 11 years ago
- Explore JIT in TiDB☆27Jan 8, 2022Updated 4 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 3 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- Proof-of-Reserves tool for Bitcoin☆50Oct 25, 2023Updated 2 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 7 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.
- 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
- 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
- Paxos-replicated key-value store in 3 hours or less.☆25Mar 5, 2017Updated 9 years ago
- A user-friendly dark forest plugin development library.☆10Jun 20, 2022Updated 3 years ago
- ☆22Mar 7, 2024Updated 2 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 9 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.
- Bridge between Coz profiler and rust tracing☆14Sep 26, 2019Updated 6 years ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 4 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- ☆25Mar 9, 2026Updated 2 weeks ago
- 一个谷歌高清图片爬虫☆13Jan 7, 2020Updated 6 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- ☆10Mar 19, 2024Updated 2 years ago