bordaigorl/stargazer

Stars
39
Rank 693,563 (Top 14 %)
Language
HTML
Created over 10 years ago
Updated over 2 years ago

bordaigorl/stargazer

bordaigorl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A simulator for visualising the evolution of π-calculus terms

rmview

A live viewer for reMarkable written in PyQt5

remy

Remy, an online&offline manager for the reMarkable tablet

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

latex-commenting

A LaTeX package for commenting multi-author documents

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-semantic-wrap

Sublime Text plugin to wrap text while typing at sensible locations

sublime-omnidocs

A flexible Sublime Text plugin to lookup documentation of imported modules

sublime-sourcedown

Transform your source code into easy to publish Markdown

bordaigorl.github.io

My personal website