Skip to content
View Tia-Vu's full-sized avatar
10 followers · 23 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Organizations

@etalang @cornell-cubing

Block or report Tia-Vu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Stars

Showing results

Tia-Vu / datalog-rocq

Rocq Prover 2 1 Updated Jun 17, 2026

VarunUllanat / mint

Learning the language of protein-protein interactions

Python 150 19 Updated Jun 15, 2026

alshedivat / al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

HTML 15,756 13,067 Updated Jun 17, 2026

academicpages / academicpages.github.io

Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.

SCSS 17,185 7,510 Updated May 28, 2026

cornell-cubing / cornell-cubing.github.io

Forked from kitian616/jekyll-TeXt-theme

💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.

SCSS 1 1 Updated Sep 29, 2024

etalang / jaek

Just Another Eta Kompiler. CS 4120/4121 @ Cornell CS

Kotlin 4 Updated Aug 26, 2023