The Wayback Machine - https://web.archive.org/web/20260115093348/https://github.com/richwill28
Skip to content
View richwill28's full-sized avatar
🍻
Cheers!
🍻
Cheers!
17 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2

Organizations

@VisuTrader-Orbital2021

Block or report richwill28

Report abuse

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

Report abuse
richwill28/README.md

Hi there 👋

I'm Richard, currently a research assistant at PLSE & FOCS lab, National University of Singapore.

🚀 About Me

I'm endlessly fascinated by the big questions in theoretical computer science, the elegance of mathematics, and the craft of programming languages.

⚡ GitHub Stats

richwill28's GitHub Stats

Pinned Loading

  1. notes notes Public

    TeX

  2. quarry quarry Public

    A Rust library for mining type information from the Rust standard library.

    Rust