bordaigorl/jamesbound
James Bound, a depth-bounded π-calculus playground
Public GitHub Catalog
Discovered Sep 26, 2026
bordaigorl / latex-commenting
A LaTeX package for commenting multi-author documents
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8203370GitHub System ID
bordaigorlOrganization / User
PublicVisibility
ActiveCatalog Status
More from bordaigorl
bordaigorl/sublime-dblp
DBLP Plugin For Sublime Text 3
bordaigorl/sublime-text-git
Plugin for some git integration into sublime text
bordaigorl/HTMLEntity-Snippets
HTML Entity Snippets for Sublime Text