Simon-Hostettler

Simon H.'s repositories

A terminal-based typing test written in Haskell

Language:HaskellBSD-3-Clause48 1 1

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

Language:PythonMIT400

Interactive julia set built using Webassembly for Rust

Language:Rust100

Creates movie posters from average frame colors

Language:Python100

Python script to create an infographic from a Whatsapp chat history

Language:PythonBSD-3-Clause100

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

Language:ScalaMPL-2.0000

Small scripts that aren't worth their own repo.

Language:Python000

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Language:ScalaNOASSERTION000

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Language:PythonMPL-2.0000

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION000

Code to scrape images from Reddit and clean up the downloaded data

Language:Python000

Symbolic-execution-based verifier for the Viper intermediate verification language.

MPL-2.0000

Definition of the Viper intermediate verification language.

MPL-2.0000

Account Repository

000

Language:HTML000

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

NOASSERTION000