🎓 Path to a free self-taught education in Computer Science!

Writing an OS in Rust

Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.

Pattern matching syntax for ECMAScript

UI component for Globe Data Visualization using ThreeJS/WebGL

A guide to how rustc works and how to contribute to it.

The Little Book of Rust Macros (updated fork)

The user home repository for the Mathematics in Lean tutorial.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

ANSI text styling