USER: ARU LOC: CDMX 26/06/2026 ● LIVE

These are my current side projects :)

>> The future ones will be about Formal Verification (using Rocq; i love Rocq)


total 3 projects

PERMISSIONS LANGUAGE SCOPE STATUS NAME
drwxr-xr-x [typst] note-taking active non-boring_notes/

└─$ cat non-boring_notes/README.md

DESCRIPTION: A modular, colorful, and highly customizable Typst template for academic documentation, lecture notes, and assignments. Designed to be simple to use while providing professional-grade typesetting.

STATUS: [ACTIVE]

KEYWORDS: typst, note-taking, cs-notes

drwxr-xr-x [rust] graphics active ray_tracer/

└─$ cat ray_tracer/README.md

DESCRIPTION: Implementation of the 'Ray Tracing in a Weekend' series, adapted to Rust.

STATUS: [ACTIVE]

KEYWORDS: rust, ray tracing

drwxr-xr-x [rust] competitive-programming active the_algorithmic_codex/

└─$ cat the_algorithmic_codex/README.md

DESCRIPTION: A rigorous compilation of solutions, complexity bounds, and formal correctness proofs for competitive programming challenges.

STATUS: [ACTIVE]

KEYWORDS: rust, competitive-programming