amateur translation project of Grothendieck's EGA.

Style and Grammar Checker for 25+ Languages

Naive linter for English prose

📝 A markup-aware linter for prose built with speed and extensibility in mind.

RedPen is an open source proofreading tool to check if your technical documents meet the writing standard. RedPen supports various markup text formats (Markdown, Textile, AsciiDoc, Re:VIEW, reStruc…

A linter for prose.

Plot complex functions

My personal website.

Undiscord - Delete all messages in a Discord server / channel or DM (Easy and fast) Bulk delete

Database for International Physics Olympiads

Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"

A yabai status bar widget for Übersicht

plf::hive is a fork of plf::colony to match the current C++ standards proposal.

SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash

An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"

Baba Is You simulator using C++ with some reinforcement learning

Code for CRATE (Coding RAte reduction TransformEr).

totally practical command-line image editor

Dot files for Evan Chen (Arch Linux on i3)

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

A LaTeX Typesetting Game

Olympiad problem database

Solution to Algebra, Chapter 0

A community-maintained Python framework for creating mathematical animations.

ICPC Teamnote for 2020-Further

Triangle Inequality Checker

The Ross Program website

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

An Infinitely Large Napkin