USER: ARULOC: CDMX13/08/2026● LIVE

These are my current side projects :)

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

total 3 projects

PERMISSIONSLANGUAGESCOPESTATUSNAME
drwxr-xr-x[typst]note-takingactivenon-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

[SOURCE_CODE]
drwxr-xr-x[rust]graphicsactiveray_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

[SOURCE_CODE]
drwxr-xr-x[rust]competitive-programmingactivethe_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

[SOURCE_CODE]