Skip to content
View Catoverflow's full-sized avatar
:octocat:
Overflowing
:octocat:
Overflowing
168 followers · 53 following

Organizations

@ustclug @xlab-uiuc

Block or report Catoverflow

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Catoverflow/README.md

About

UIUC CS PhD (2024-) | Amazon AWS (intern) (2026)

Research Stuffs

Check my academic profile

Pinned Loading

  1. ustclug/Linux101-docs ustclug/Linux101-docs Public

    Linux 101 学生课程教材与讲义

    Makefile 1.4k 102

  2. anvil-verifier/anvil anvil-verifier/anvil Public

    Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

    Rust 233 19