仓库

vEnhance 的仓库

MIT 18.02 lecture notes on multivar

最近提交 2026年6月2日

 (30 stars) (21 forks) (0 个已索引 issue) (0 个开放 good first issue)

最近提交 2022年10月15日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Receive automatic email notifications before your Google Contacts birthday and other events!

最近提交 2025年5月7日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Extension to track hat-like plays in competitions on Hanab.live

最近提交 2022年5月9日

 (1 star) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

Evan's copy of MIL to work through in a separate branch

最近提交 2025年8月8日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

最近提交 2025年12月3日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
vEnhance/aleVim Script

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

最近提交 2026年4月1日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

A minimal setup required script to improve AoPS

最近提交 2022年11月15日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
vEnhance/apmowebsiteJupyter Notebook

The official website for the Asian Pacific Mathematics Olympiad

最近提交 2023年7月5日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

website for the athemath program

最近提交 2026年6月2日

 (0 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

Evan tries to figure out how to maintain AUR packages lmao

最近提交 2026年5月21日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Runs "nvm use" automatically

最近提交 2025年1月5日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

All the math/tex files for the Automorphic Project

最近提交 2024年5月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Development repo for the Battlecode 2026 game

最近提交 2026年1月9日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Evan Chen's blog "Power Overwhelming"

最近提交 2026年6月2日

 (1 star) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

Practice braille, Morse, semaphore.

最近提交 2026年6月2日

 (0 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

MariaDB/MySQL Charset/Collation Fixer - A Python tool to painlessly convert MariaDB/MySQL databases, tables, and/or columns into different character sets and collations, most notably utf8mb4 + utf8mb4_unicode_ci

最近提交 2025年12月27日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Catalog Of Math Problems Formalized In Lean

最近提交 2026年1月9日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Source code for the mafia bot.

最近提交 2013年6月11日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Clear out annoying bot 404's from your log by sending them to Rick Astley

最近提交 2026年6月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)