The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Programming Language Theory λΠ

The Little Book of Rust Macros (Updated Version) 中文翻译版

A modern take on the LaTeX beamer theme, for Marp

Hosts the website for mathlib and other Lean community infrastructure.