severinh/ethz-atsr-sbod
Statically detect invalid array accesses in Java programs using abstract interpretation
Public GitHub Catalog
Discovered Sep 28, 2026
severinh / nanoc-lunr-js-search
JavaScript-based full-text search for nanoc-generated static websites
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.
#12529574GitHub System ID
severinhOrganization / User
PublicVisibility
ActiveCatalog Status
More from severinh
severinh/ethz-acd-global-type-inference
Javali compiler with global type inference
severinh/ethz-nlp-headline
Automatic headline generation
severinh/font-awesome-customize
Create custom versions of Font Awesome