sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.
Amazon Web ServicesSeattle
Pinned Repositories
advent-of-gopilot
Advent of Code 2016 in Go using only GitHub Copilot
AdventOfCode
My solutions to Advent of Code
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
git-workshop
Grunnprofil
iterm2-gruvbox
Gruvbox color scheme for iTerm 2.
mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
sarsko
sarsko.github.io
sarsko's Repositories
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sarsko/AdventOfCode
My solutions to Advent of Code
sarsko/advent-of-gopilot
Advent of Code 2016 in Go using only GitHub Copilot
sarsko/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
sarsko/git-workshop
sarsko/Grunnprofil
sarsko/iterm2-gruvbox
Gruvbox color scheme for iTerm 2.
sarsko/mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
sarsko/sarsko
sarsko/sarsko.github.io
sarsko/shuttle
Shuttle is a library for testing concurrent Rust code
sarsko/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...