Pinned Repositories
aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
move
AIPs
Aptos Improvement Proposals (AIPs)
aptos-core
A layer 1 for everyone!
aptos-networks
boogie
Boogie
diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
handlebars-rust
Rust templating with Handlebars
MIRAI
Rust mid-level IR Abstract Interpreter
z3
The Z3 Theorem Prover
wrwg's Repositories
wrwg/AIPs
Aptos Improvement Proposals (AIPs)
wrwg/aptos-core
A layer 1 for everyone!
wrwg/aptos-networks
wrwg/boogie
Boogie
wrwg/diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
wrwg/handlebars-rust
Rust templating with Handlebars
wrwg/MIRAI
Rust mid-level IR Abstract Interpreter
wrwg/miri
An interpreter for Rust's mid-level intermediate representation
wrwg/move
Move documentation
wrwg/move-lang
wrwg/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
wrwg/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
wrwg/z3
The Z3 Theorem Prover