bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
University of KonstanzKonstanz, Germany
Pinned Repositories
graphwiz
A GTK viewer for GraphViz files. An unofficial fork (and eventually a rewrite) of xdot.py
latex-commenting
A LaTeX package for commenting multi-author documents
remy
Remy, an online&offline manager for the reMarkable tablet
rmview
A live viewer for reMarkable written in PyQt5
stargazer
A simulator for visualising the evolution of π-calculus terms
sublime-evernote
Open and Save Evernote notes from Sublime Text 3 using Markdown
sublime-inserteq
Equation Editor for Sublime Text 3
sublime-non-text-files
Sublime Text plugin to open files with external apps and prevent preview of binary files
sublime-project-completions
Project Completions plugin for Sublime Text
bordaigorl's Repositories
bordaigorl/sublime-evernote
Open and Save Evernote notes from Sublime Text 3 using Markdown
bordaigorl/rmview
A live viewer for reMarkable written in PyQt5
bordaigorl/remy
Remy, an online&offline manager for the reMarkable tablet
bordaigorl/stargazer
A simulator for visualising the evolution of π-calculus terms
bordaigorl/sublime-non-text-files
Sublime Text plugin to open files with external apps and prevent preview of binary files
bordaigorl/sublime-project-completions
Project Completions plugin for Sublime Text
bordaigorl/graphwiz
A GTK viewer for GraphViz files. An unofficial fork (and eventually a rewrite) of xdot.py
bordaigorl/jamesbound
James Bound, a depth-bounded π-calculus playground
bordaigorl/sublime-dblp
DBLP Plugin For Sublime Text 3
bordaigorl/bordaigorl.github.io
My personal website
bordaigorl/sublime-omnidocs
A flexible Sublime Text plugin to lookup documentation of imported modules
bordaigorl/reMarkable-scripts
A set of bash scripts that may enhance your reMarkable experience
bordaigorl/remarkable_mouse
use your reMarkable as a graphics tablet
bordaigorl/sublime-markdown-editing
Powerful Markdown package for Sublime Text with better syntax understanding and good color schemes.
bordaigorl/sublime-text-git
Plugin for some git integration into sublime text
bordaigorl/lemma9
bordaigorl/acmart
ACM consolidated LaTeX styles
bordaigorl/awesome-reMarkable
A curated list of projects related to the reMarkable tablet
bordaigorl/bst-sublime-syntax
sublime syntax definition for LaTeX Bibliography Style (bst) files
bordaigorl/evernote-sdk-python3
Testing the Evernote Cloud API for Python 3
bordaigorl/LaTeXTools
LaTeX plugin for Sublime Text 2 and 3
bordaigorl/lawvere
A categorical programming language with effects
bordaigorl/libremarkable
The only public framework for developing applications with native refresh support for Remarkable Tablet
bordaigorl/package_control_channel
Default channel file for Package Control. Follow the directions at:
bordaigorl/pico_4wd_car
bordaigorl/srvfb
Stream a framebuffer device over HTTP
bordaigorl/ST-FileManager
⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️
bordaigorl/Sublime-Coq
Coq programming language support for Sublime Text
bordaigorl/sublime-coq-plugin
Syntax highlighting and Coq interactivity for Sublime Text 3
bordaigorl/SublimeDiffView
Side-by-Side Git, SVN and Bazaar Diff Viewer for Sublime Text 3