severinh/ethz-atsr-sbod
Statically detect invalid array accesses in Java programs using abstract interpretation
Developer Profile
severinh
Discovered public repositories for severinh in the GitHub catalog.
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
severinh/lunr.de.js
A German language extension for lunr.js
severinh/nanoc-lunr-js-search
JavaScript-based full-text search for nanoc-generated static websites
severinh/latex-compact-summary
LaTeX template for summaries of lecture content with a very compact three-column layout
severinh/wordpress-trim-admin-menu
Hide selected menu items in the admin interface from non-admin users
severinh/klassenbuch
Web application application that allows classes to collaboratively keep track of their homework, have discussions, share files and upload pictures
severinh/valint
Public repository.
severinh/valable
Public repository.