See /share
Should have been used for the 2020 TIPE oral exam
[git]
Following an intership with Arnaud Casteigts
at LaBRI (France).
Presented at AATG 2021 (online).
[video]
[beamer]
[report]
Following an internship with Jukka Suomela
and Darya Melnyk at
Aalto University, Finland
Published at OPODIS 2022 (Brussels, Belgium).
[arxiv]
[paper (author's version)]
[paper (publisher's version)]
[beamer]
with Ralf Jung
and Derek Dreyer
at Max Planck Institute for Software Systems, Germany
Presentation at Rust Formal Methods Interest Group
[beamer]
[implementation]
[model]
[recording]
Some various tools I like and frequently use.
zathura (pdf viewer)
[Official]
[ArchWiki]
[Arch]
mpv (video player)
[Official]
[ArchWiki]
[Arch]
bat (cat)
[GitHub]
[Crates]
skim (fuzzy file finder)
[GitHub]
[Crates]
starship (shell prompt)
[Official]
[GitHub]
[Crates]
ripgrep (grep replacement)
[GitHub]
[Crates]
tealdeer (tldr client, short man pages)
[GitHub]
[Crates]
tokei (count lines of code)
[GitHub]
[Crates]
hyperfine (benchmarking)
[GitHub]
[Crates]