severinh/ethz-atsr-sbod
Statically detect invalid array accesses in Java programs using abstract interpretation
Public GitHub Catalog
Discovered Sep 28, 2026
severinh / latex-compact-summary
LaTeX template for summaries of lecture content with a very compact three-column layout
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.
#12064059GitHub 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