bordaigorl/jamesbound

Stars
4
Rank 3,287,111 (Top 66 %)
Language
Haskell
License
Other
Created about 9 years ago
Updated about 9 years ago

bordaigorl/jamesbound

bordaigorl

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

James Bound, a depth-bounded π-calculus playground

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

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

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