bordaigorl

sublime-evernote

Open and Save Evernote notes from Sublime Text 3 using Markdown

rmview

A live viewer for reMarkable written in PyQt5

remy

Remy, an online&offline manager for the reMarkable tablet

stargazer

A simulator for visualising the evolution of π-calculus terms

sublime-non-text-files

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

sublime-inserteq

Equation Editor for Sublime Text 3

sublime-project-completions

Project Completions plugin for Sublime Text

graphwiz

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

jamesbound

James Bound, a depth-bounded π-calculus playground

sublime-dblp

DBLP Plugin For Sublime Text 3

sublime-omnidocs

A flexible Sublime Text plugin to lookup documentation of imported modules

bordaigorl.github.io

My personal website

reMarkable-scripts

A set of bash scripts that may enhance your reMarkable experience

remarkable_mouse

use your reMarkable as a graphics tablet

sublime-markdown-editing

Powerful Markdown package for Sublime Text with better syntax understanding and good color schemes.

sublime-text-git

Plugin for some git integration into sublime text

acmart

ACM consolidated LaTeX styles

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

bst-sublime-syntax

sublime syntax definition for LaTeX Bibliography Style (bst) files

evernote-sdk-python3

Testing the Evernote Cloud API for Python 3

LaTeXTools

LaTeX plugin for Sublime Text 2 and 3

lawvere

A categorical programming language with effects

lemma9

libremarkable

The only public framework for developing applications with native refresh support for Remarkable Tablet

package_control_channel

Default channel file for Package Control. Follow the directions at:

pico_4wd_car

srvfb

Stream a framebuffer device over HTTP

Sublime-Coq

Coq programming language support for Sublime Text

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

SublimeDiffView

Side-by-Side Git, SVN and Bazaar Diff Viewer for Sublime Text 3