-
aptos-core Public
Forked from aptos-labs/aptos-coreA layer 1 for everyone!
Rust Other UpdatedMar 5, 2026 -
-
-
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Rust Apache License 2.0 UpdatedJan 24, 2023 -
AIPs Public
Forked from aptos-foundation/AIPsAptos Improvement Proposals (AIPs)
UpdatedJan 24, 2023 -
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedOct 30, 2022 -
MIRAI Public
Forked from facebookexperimental/MIRAIRust mid-level IR Abstract Interpreter
Rust MIT License UpdatedOct 7, 2022 -
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedOct 7, 2022 -
-
-
smt2utils Public
Forked from facebookarchive/smt2utilsLibraries and tools for the SMT-LIB-2 standard.
Jupyter Notebook Apache License 2.0 UpdatedMar 26, 2021 -
-
handlebars-rust Public
Forked from sunng87/handlebars-rustRust templating with Handlebars
Rust MIT License UpdatedJun 3, 2020
{{ message }}