meng-xu-cs

followers

0

following

0

stars

University of Waterloo

https://cs.uwaterloo.ca/~m285xu/

Meng Xu's repositories

mvp-artifact

Language:CApache-2.05 20

libra

Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.

Language:RustApache-2.0100

program-analyzer

1 10

rusmart

Programming Language | Implemented in Rust | Formulated in SMT

Language:RustGPL-3.0100

aptos-core

A layer 1 for everyone!

Language:RustNOASSERTION000

challenge-001-exemplar

Challenge Problem #1 - Linux Kernel

Language:PythonMIT000

cs453-program-analysis-platform

Program Analysis Platform for CS453 Assignments

Language:Rust000

cs453-program-analyzer

Language:Shell010

latex-slides-template

Language:TeX010

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustApache-2.0000

move

Language:RustApache-2.0000

off-chain-reference

An off-chain reference implementation: Supports exchanging payment information, KYC data and attestation of KYC data between VASPs.

Language:PythonApache-2.0000

s2n-tls

An implementation of the TLS/SSL protocols

Language:CApache-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

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.

Language:CNOASSERTION000

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION000