wrwg/aptos-core
A layer 1 for everyone!
Repositories
wrwg/aptos-networks
wrwg/move-lang
wrwg/AIPs
Aptos Improvement Proposals (AIPs)
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/MIRAI
Rust mid-level IR Abstract Interpreter
wrwg/miri
An interpreter for Rust's mid-level intermediate representation
wrwg/boogie
Boogie
wrwg/move
Move documentation
wrwg/diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
wrwg/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
wrwg/z3
The Z3 Theorem Prover
wrwg/handlebars-rust
Rust templating with Handlebars