Emanuele D'Osualdo
bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
bordaigorl.github.io
My personal website
HTMLUpdated 6/22/2025
rmview
A live viewer for reMarkable written in PyQt5
PythonUpdated 6/3/2025
sublime-evernote
Open and Save Evernote notes from Sublime Text 3 using Markdown
PythonUpdated 5/14/2025
remy
Remy, an online&offline manager for the reMarkable tablet
PythonUpdated 5/3/2025
latex-commenting
A LaTeX package for commenting multi-author documents
TeXUpdated 4/25/2025