Zhanghan Wang's starred repositories
GraphMETRO
Early release of the official implementation for "GraphMETRO: Mitigating Complex Graph Distribution Shifts via Mixture of Aligned Experts"
practical-fm
A gently curated list of companies using verification formal methods in industry
RustPython
A Python Interpreter written in Rust
LLMsPracticalGuide
A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
inshellisense
IDE style command line auto complete
TheVerificationOfDistributedSystem
Accompanying Repository for The Verification of a Distributed System Talk
FALCON-GLFrontiers
Official Code of "Efficient Automatic Graph Learning via Design Relations" (GLFrontiers Workshop NeurIPS 2022)
Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
restler-fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
FuzzingPaper
Recent Fuzzing Paper