Explore projects

My personal config files.

My own configuration for the awesome https://github.com/hlissner/doom-emacs project.

Doom Emacs config files and snippets, For LaTeX, OrgMode and more

A simple proof assistant written in Rust

Slides de mon seminaires sur git , et leur traduction en anglais