Name: Emanuele D'Osualdo
Type: User
Company: University of Konstanz
Bio: I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
Twitter: bordaigorl
Location: Konstanz, Germany
Blog: http://emanueledosualdo.com
Emanuele D'Osualdo's Projects
ACM consolidated LaTeX styles
A curated list of projects related to the reMarkable tablet
My personal website
sublime syntax definition for LaTeX Bibliography Style (bst) files
Testing the Evernote Cloud API for Python 3
A GTK viewer for GraphViz files. An unofficial fork (and eventually a rewrite) of xdot.py
HTML Entity Snippets for Sublime Text
James Bound, a depth-bounded π-calculus playground
A LaTeX package for commenting multi-author documents
LaTeX plugin for Sublime Text 2 and 3
A categorical programming language with effects
The only public framework for developing applications with native refresh support for Remarkable Tablet
moderncv -- a modern curriculum vitae class
Default channel file for Package Control. Follow the directions at:
A set of bash scripts that may enhance your reMarkable experience
use your reMarkable as a graphics tablet
Remy, an online&offline manager for the reMarkable tablet
A live viewer for reMarkable written in PyQt5
Stream a framebuffer device over HTTP
A simulator for visualising the evolution of π-calculus terms
Coq programming language support for Sublime Text
Syntax highlighting and Coq interactivity for Sublime Text 3
DBLP Plugin For Sublime Text 3
Open and Save Evernote notes from Sublime Text 3 using Markdown
Side bar menu and quick panel to diff files with Meld
Equation Editor for Sublime Text 3
Powerful Markdown package for Sublime Text with better syntax understanding and good color schemes.
Sublime Text plugin to open files with external apps and prevent preview of binary files