Hyperb0rean
Follow
Stars
A list of papers about distributed consensus.
The First Distributed Real-Time Search Analytics Database
Rust node framework for building distributed systems for learning for https://github.com/jepsen-io/maelstrom / fly.io
The Rust Implementation of the libp2p networking stack.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Archive for all Rocq and Coq-related opam packages organized in various repositories
A C++ library for creation and manipulation of Merkle trees
An abstract implementation of a Merkle Search Tree, structurally compatible with ATProto's instantiation
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ProgMiner / miniKanren-coq
Forked from dboulytchev/miniKanren-coqA certified semantics for relational programming workout.
A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…
A collection of TLA⁺ specifications of varying complexities.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
A framework for formally verifying distributed systems implementations in Coq
Collection of tools that enable different Yield Farming strategies on TON
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.