Seattle

Sarek Høverstad Skotåm

Expert
@sarsko

Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

CreuSAT. CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

688

AdventOfCode. My solutions to Advent of Code

6

advent-of-gopilot. Advent of Code 2016 in Go using only GitHub Copilot

3

ShuttlePlayground. Playground demonstrating Shuttle for TokioConf

1
4
Apply