Showing 10 of 10 projects
An open-source smart contract platform enabling businesses to build high-performance decentralized applications on blockchain.
A Byzantine Fault Tolerant (BFT) middleware for securely replicating state machines across many machines.
A C++ server daemon implementing the XRP Ledger protocol, powering the decentralized XRP cryptocurrency blockchain.
A decentralized, Byzantine Fault Tolerant SQL database built on SQLite with blockchain features for serverless applications.
A Byzantine fault-tolerant consensus engine for replicating state machines across distributed systems, powering blockchain networks.
Rust client libraries for Tendermint/CometBFT, providing data structures, RPC clients, and light client verification.
A symbolic model checker for TLA+ and Quint specifications, translating them into SMT constraints for verification.
A Python implementation of correct-by-construction consensus protocols, including Casper the Friendly Ghost for blockchain.
A Python implementation of correct-by-construction consensus protocols, including Casper the Friendly Ghost for blockchain.
Scalable Byzantine fault detection middleware that ensures transactional integrity across database systems.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.