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.1krmview. A live viewer for reMarkable written in PyQt5
827remy. Remy, an online&offline manager for the reMarkable tablet
310stargazer. A simulator for visualising the evolution of π-calculus terms
45sublime-non-text-files. Sublime Text plugin to open files with external apps and prevent preview of binary files
21sublime-inserteq. Equation Editor for Sublime Text 3
17latex-commenting. A LaTeX package for commenting multi-author documents
12sublime-project-completions. Project Completions plugin for Sublime Text
8graphwiz. A GTK viewer for GraphViz files. An unofficial fork (and eventually a rewrite) of xdot.py
6sublime-dblp. DBLP Plugin For Sublime Text 3
5jamesbound. James Bound, a depth-bounded π-calculus playground
4sublime-omnidocs. A flexible Sublime Text plugin to lookup documentation of imported modules
2sublime-semantic-wrap. Sublime Text plugin to wrap text while typing at sensible locations
2sublime-sourcedown. Transform your source code into easy to publish Markdown
2sublime-external-diff. Side bar menu and quick panel to diff files with Meld
2reMarkable-scripts. A set of bash scripts that may enhance your reMarkable experience
1bordaigorl.github.io. My personal website
1sublime-text-git. Plugin for some git integration into sublime text
1remarkable_mouse. use your reMarkable as a graphics tablet
1sublime-markdown-editing. Powerful Markdown package for Sublime Text with better syntax understanding and good color schemes.
1