jfinkels/limndver
Limited nondeterminism and complexity of verification
Public GitHub Catalog
Discovered Oct 31, 2026
jfinkels / numbertiles
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.
#44422474GitHub System ID
jfinkelsOrganization / User
PublicVisibility
ActiveCatalog Status
More from jfinkels
jfinkels/werkzeug
A flexible WSGI implementation and toolkit
jfinkels/absorbing-centrality
An implementation of the absorbing random-walk centrality
jfinkels/html5-boilerplate
A professional front-end template for building fast, robust, and adaptable web apps or sites.