🎯
Focusing
Second-year Duke Computer Science Ph.D. student
-
Duke University
- Durham, NC
Popular repositories Loading
-
fuse-version-control-fs
fuse-version-control-fs PublicAn implementation of a virtual file system using FUSE, which supports basic version-control functionalities.
-
-
-
verified-memory-allocator
verified-memory-allocator PublicForked from verus-lang/verified-memory-allocator
A memory allocator verified with Verus.
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.