jonasc/spin-tools
Tools to ease development and model checking with spin
Public GitHub Catalog
Discovered Oct 2, 2026
jonasc / zotero-better-bibtex
Public repository discovered through GitHub real-time crawl.
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.
#25091289GitHub System ID
jonascOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonasc
jonasc/twofactor
Roundcube Two Factor Login Plugin
jonasc/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
jonasc/imapidle
Handling IMAP IDLE command with plain old Python.