Mathieu PATUREL
math2001
:fr: but live in :australia:
FileManager
⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️
PythonUpdated 4/28/2025
dotfiles
My dotfiles
ShellUpdated 3/23/2025
MarkdownLivePreview
A Sublime Text 3 plugin to preview your markdown as you type
PythonUpdated 3/20/2025
iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Updated 2/28/2025
math2001.github.io
My blog build with Hugo
HTMLUpdated 11/21/2024