simon-hostettler Goto Github PK

carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

diceimagegenerator

Converts images to a downscaled B/W version, where every pixel is replaced by a dice of the same brightness.

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.

htyper

A terminal-based typing test written in Haskell

interactive_julia

Interactive julia set built using Webassembly for Rust

moviepostergenerator

Creates movie posters from average frame colors

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

simon-hostettler.github.io

viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

whatsapp-analyzer

Python script to create an infographic from a Whatsapp chat history