Yann

notion-exporter. CLI and library for exporting .md and .csv files from any Notion page.

md-ieee-latex-template. A simple Makefile pipeline to convert Markdown files into IEEE paper formatted PDFs using pandoc.

rust-stainless-thesis-report. MSc project on «Formal Verification of Rust with Stainless».

os-kernel. Small kernel and OS implementation in C

processwire-boilerplate. My personal starter repo for new Processwire projects.