Emanuele D'Osualdo

icon indicating a website link http://emanueledosualdo.com icon indicating an email [email protected]

icon company University of Konstanz icon location Konstanz, Germany icon location I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz

Results 6 repositories owned by Emanuele D'Osualdo
trafficstars

remy

270
Stars
12
Forks
Watchers

Remy, an online&offline manager for the reMarkable tablet

verified publisher icon bordaigorl

rmview

734
Stars
58
Forks
Watchers

A live viewer for reMarkable written in PyQt5

verified publisher icon bordaigorl

stargazer

40
Stars
2
Forks
Watchers

A simulator for visualising the evolution of π-calculus terms

verified publisher icon bordaigorl

sublime-non-text-files

21
Stars
5
Forks
Watchers

Sublime Text plugin to open files with external apps and prevent preview of binary files

verified publisher icon bordaigorl

sublime-evernote

1.2k
Stars
106
Forks
Watchers

Open and Save Evernote notes from Sublime Text 3 using Markdown

verified publisher icon bordaigorl

sublime-inserteq

17
Stars
0
Forks
Watchers

Equation Editor for Sublime Text 3

verified publisher icon bordaigorl