Pinned Repositories
aptos-core
A layer 1 for everyone!
challenge-001-exemplar
Challenge Problem #1 - Linux Kernel
cs453-program-analysis-platform
Program Analysis Platform for CS453 Assignments
cs453-program-analyzer
latex-slides-template
libra
Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
mvp-artifact
program-analyzer
rusmart
Programming Language | Implemented in Rust | Formulated in SMT
meng-xu-cs's Repositories
meng-xu-cs/mvp-artifact
meng-xu-cs/libra
Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
meng-xu-cs/program-analyzer
meng-xu-cs/rusmart
Programming Language | Implemented in Rust | Formulated in SMT
meng-xu-cs/aptos-core
A layer 1 for everyone!
meng-xu-cs/challenge-001-exemplar
Challenge Problem #1 - Linux Kernel
meng-xu-cs/cs453-program-analysis-platform
Program Analysis Platform for CS453 Assignments
meng-xu-cs/cs453-program-analyzer
meng-xu-cs/latex-slides-template
meng-xu-cs/miri
An interpreter for Rust's mid-level intermediate representation
meng-xu-cs/move
meng-xu-cs/off-chain-reference
An off-chain reference implementation: Supports exchanging payment information, KYC data and attestation of KYC data between VASPs.
meng-xu-cs/s2n-tls
An implementation of the TLS/SSL protocols
meng-xu-cs/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
meng-xu-cs/qemu
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
meng-xu-cs/rust
Empowering everyone to build reliable and efficient software.