Simon H.'s repositories
DiceImageGenerator
Converts images to a downscaled B/W version, where every pixel is replaced by a dice of the same brightness.
interactive_julia
Interactive julia set built using Webassembly for Rust
MoviePosterGenerator
Creates movie posters from average frame colors
whatsapp-analyzer
Python script to create an infographic from a Whatsapp chat history
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
GeneralProjects
Small scripts that aren't worth their own repo.
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Reddit_Image_Scraper
Code to scrape images from Reddit and clean up the downloaded data
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
Simon-Hostettler
Account Repository
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.