Pinned Repositories
smt2utils
Libraries and tools for the SMT-LIB-2 standard.
gad
Generic Automatic Differentiation library for Rust (aka "autograd")
linera-protocol
Main repository for the Linera protocol
libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
rubix
A Rubik's cube explorer in Opa
fastpay
FastPay: High-Performance Byzantine Fault Tolerant Settlement
bcs
Rust implementation of the Binary Canonical Serialization (BCS) format
serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
ma2bd's Repositories
ma2bd/rubix
A Rubik's cube explorer in Opa
ma2bd/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
ma2bd/arrayfire-rust
Rust wrapper for ArrayFire
ma2bd/async-lock
Async synchronization primitives
ma2bd/atd
Syntax for cross-language type definitions (official repository)
ma2bd/atdgen
Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions (official repository)
ma2bd/bcs
Rust implementation of the Binary Canonical Serialization (BCS) format
ma2bd/bincode
A binary encoder / decoder implementation in Rust.
ma2bd/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
ma2bd/cargo-all-features
A Cargo subcommand to build and test all feature flag combinations.
ma2bd/cargo-guppy
Track and query Cargo dependency graphs.
ma2bd/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.
ma2bd/cuboid-puzzle
Quick'n dirty code to solve a friend's 3D wood puzzle.
ma2bd/fastpay
FastPay: High-Performance Byzantine Fault Tolerant Settlement
ma2bd/gad
Generic Automatic Differentiation library for Rust (aka "autograd")
ma2bd/half-rs
Half-precision floating point types f16 and bf16 for Rust.
ma2bd/homebrew
The missing package manager for OS X.
ma2bd/librabft_simulator
ma2bd/linera-documentation
ma2bd/linera-protocol
ma2bd/oclint-xcodebuild
A helper program that converts xcodebuild log to compile_commands.json
ma2bd/pomelo
Implementation of the Lemon parser generator as a Rust procedural macro
ma2bd/serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
ma2bd/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
ma2bd/transformer-xl
ma2bd/transport-security-state-generate
ma2bd/website
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
ma2bd/z3.rs
Rust bindings for the Z3 solver.