Wolfgang Grieskamp's repositories
AIPs
Aptos Improvement Proposals (AIPs)
000
aptos-core
A layer 1 for everyone!
Language:RustNOASSERTION000
Language:Move000
boogie
Boogie
Language:BoogieMIT000
diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Language:RustApache-2.0000
handlebars-rust
Rust templating with Handlebars
Language:RustMIT000
MIRAI
Rust mid-level IR Abstract Interpreter
Language:RustMIT000
miri
An interpreter for Rust's mid-level intermediate representation
Language:RustApache-2.0000
move
Move documentation
Language:RustApache-2.0000
Language:RustApache-2.0000
smt2utils
Libraries and tools for the SMT-LIB-2 standard.
Language:Jupyter NotebookApache-2.0000
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
Language:RustApache-2.0000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000