A Lean companion to Analysis I

A collection of formalized statements of conjectures in Lean.

Shapley R-squared in tree ensembles

Commented LaTeX templates for CVs, homework, lecture notes, presentations, research papers, and essays, with commands for math/statistics symbols

A C++ library for debugging purposes that can print any variable, even user-defined types.

The math library of Lean 4

Python tool for converting files and office documents to Markdown.

Large language model based on friends' messages

A simple grass environment made with Three.js (inspired by simondevyoutube's Quick_Grass)

Browser extension which parses competitive programming problems

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A massively parallel, optimal functional runtime in Rust

A post-modern modal text editor.

💭👀precognition.nvim - Precognition uses virtual text and gutter signs to show available motions.

A massively parallel, high-level programming language

2026 SWE internship & new graduate job list updated daily

Curated list of internships/externships/fellowships exclusive for CS freshman and sophomore (updated for 2026!)

Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"

Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""

🎧 Open source music streaming app! Available for both desktop & mobile!

Neovim helper for competitive programming. Use https://sr.ht/~chinmay/cphelper.nvim instead

Kobra is a visual programming language (like Scratch) for Machine Learning

A Novation Launchpad Macro Scripting System.