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

A Linera example application that map-reduces values across microchains

A cargo subcommand to manage local registries

The Linera Web client

GitHub Action that setup a Swift environment

crates.io documentation generator

FastPay: High-Performance Byzantine Fault Tolerant Settlement

Rust implementation of the Binary Canonical Serialization (BCS) format

Async synchronization primitives

A Cargo subcommand to build and test all feature flag combinations.

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

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

Implementation of the BLS12-381 pairing-friendly elliptic curve group

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

Half-precision floating point types f16 and bf16 for Rust.

Rust wrapper for ArrayFire

Implementation of the Lemon parser generator as a Rust procedural macro

Rust bindings for the Z3 solver.

A binary encoder / decoder implementation in Rust.

Track and query Cargo dependency graphs.

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions (official repository)

Syntax for cross-language type definitions (official repository)

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.

A helper program that converts xcodebuild log to compile_commands.json