An AI-generated book on the typst typesetting system in the style of an O’Reilly ‘learning’ book

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

[2025 uni] Notes for "Algoritmi e Complessità" (Algorithms and Complexity analysis) course at unimi.

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

A template for blueprint-driven formalization projects in Lean.

A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.

Olympiad problem database

Asymptote preprocessor

Errata for Euclidean Geometry in Math Olympiads

Evan Chen's blog "Power Overwhelming"

Source files for https://web.evanchen.cc

OTIS course management system

An Infinitely Large Napkin

Latex package for managing problem sets

Data on pure-meta-styled puzzles from publicly available puzzlehunts

LaTeX source files for https://cjquines.com/

Simple admonishment for typst

Dot files for Evan Chen (Arch Linux on i3)

MIT 18.02 lecture notes on multivar

An implementation of numbered theorem environments in typst

Modern, Friendly, and Customizable Theorem Environments for Typst

A minimal, responsive, and feature-rich Jekyll theme for technical writing.

Website of KOSS before 4th of December, 2023

LaTeX source files for https://cjquines.com/

Personal website for Sara Carioscia

Simple and convenient profile & project theme based on Jekyll

A handbook for mathematicians who want to get productive using GitHub