Pinned Loading

1. linera-io/linera-protocol linera-io/linera-protocol Public

   Main repository for the Linera protocol

   Rust 32k 2.3k

2. novifinancial/fastpay novifinancial/fastpay Public archive

   FastPay: High-Performance Byzantine Fault Tolerant Settlement

   Rust 85 20

3. facebookresearch/gad facebookresearch/gad Public archive

   Generic Automatic Differentiation library for Rust (aka "autograd")

   Rust 38 6

4. facebookarchive/smt2utils facebookarchive/smt2utils Public archive

   Libraries and tools for the SMT-LIB-2 standard.

   Jupyter Notebook 24 15

5. zefchain/serde-reflection zefchain/serde-reflection Public

   Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.

   Rust 181 33

6. zefchain/bcs zefchain/bcs Public

   Rust implementation of the Binary Canonical Serialization (BCS) format

   Rust 26 15