ma2bd Goto Github PK

arrayfire-rust

Rust wrapper for ArrayFire

async-lock

Async synchronization primitives

atd

Syntax for cross-language type definitions (official repository)

atdgen

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

bcs

Rust implementation of the Binary Canonical Serialization (BCS) format

bincode

A binary encoder / decoder implementation in Rust.

bls12_381

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

cargo-all-features

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

cargo-guppy

Track and query Cargo dependency graphs.

clang

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

cuboid-puzzle

Quick'n dirty code to solve a friend's 3D wood puzzle.

fastpay

FastPay: High-Performance Byzantine Fault Tolerant Settlement

gad

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

half-rs

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

homebrew

The missing package manager for OS X.

libra

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

librabft_simulator

linera-documentation

linera-protocol

oclint-xcodebuild

A helper program that converts xcodebuild log to compile_commands.json

pomelo

Implementation of the Lemon parser generator as a Rust procedural macro

rubix

A Rubik's cube explorer in Opa

serde-reflection

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

smt2utils

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

transformer-xl

transport-security-state-generate

website

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

z3.rs

Rust bindings for the Z3 solver.