Sarek Høverstad Skotåm's repositories
AdventOfCode
My solutions to Advent of Code
advent-of-gopilot
Advent of Code 2016 in Go using only GitHub Copilot
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:RustLGPL-2.1000
iterm2-gruvbox
Gruvbox color scheme for iTerm 2.
mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
Language:RustNOASSERTION000
shuttle
Shuttle is a library for testing concurrent Rust code
Language:RustApache-2.0000