Konstanz, Germany

Emanuele D'Osualdo

Expert
@bordaigorl

I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz

sublime-evernote. Open and Save Evernote notes from Sublime Text 3 using Markdown

1.1k

rmview. A live viewer for reMarkable written in PyQt5

827

remy. Remy, an online&offline manager for the reMarkable tablet

310

stargazer. A simulator for visualising the evolution of π-calculus terms

45

sublime-non-text-files. Sublime Text plugin to open files with external apps and prevent preview of binary files

21

sublime-inserteq. Equation Editor for Sublime Text 3

17

latex-commenting. A LaTeX package for commenting multi-author documents

12

sublime-project-completions. Project Completions plugin for Sublime Text

8

graphwiz. A GTK viewer for GraphViz files. An unofficial fork (and eventually a rewrite) of xdot.py

6

sublime-dblp. DBLP Plugin For Sublime Text 3

5

jamesbound. James Bound, a depth-bounded π-calculus playground

4

sublime-omnidocs. A flexible Sublime Text plugin to lookup documentation of imported modules

2

sublime-semantic-wrap. Sublime Text plugin to wrap text while typing at sensible locations

2

sublime-sourcedown. Transform your source code into easy to publish Markdown

2

sublime-external-diff. Side bar menu and quick panel to diff files with Meld

2

reMarkable-scripts. A set of bash scripts that may enhance your reMarkable experience

1

bordaigorl.github.io. My personal website

1

sublime-text-git. Plugin for some git integration into sublime text

1

remarkable_mouse. use your reMarkable as a graphics tablet

1

sublime-markdown-editing. Powerful Markdown package for Sublime Text with better syntax understanding and good color schemes.

1
20
Apply