Simon-Hostettler

DiceImageGenerator

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

dotfiles_macos

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

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

whatsapp-analyzer

Python script to create an infographic from a Whatsapp chat history

Simon-Hostettler/htyper

A terminal-based typing test written in Haskell

Simon-Hostettler/DiceImageGenerator

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

Simon-Hostettler/interactive_julia

Interactive julia set built using Webassembly for Rust

Simon-Hostettler/MoviePosterGenerator

Creates movie posters from average frame colors

Simon-Hostettler/whatsapp-analyzer

Python script to create an infographic from a Whatsapp chat history

Simon-Hostettler/dotfiles_macos

Simon-Hostettler/GeneralProjects

Small scripts that aren't worth their own repo.

Simon-Hostettler/gobra

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

Simon-Hostettler/prusti-dev

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

Simon-Hostettler/Reddit_Image_Scraper

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

Simon-Hostettler/Simon-Hostettler

Account Repository

Simon-Hostettler/simon-hostettler.github.io