sarsko

Sarek Høverstad Skotåm's repositories

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

Language:RustMIT601 8 9

My solutions to Advent of Code

Language:Python5 20

Advent of Code 2016 in Go using only GitHub Copilot

Language:Go3 2 1

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLGPL-2.1000

000

CC-BY-SA-4.0010

Gruvbox color scheme for iTerm 2.

MIT000

Capability-based verifier for safe Rust clients of interior mutability

Language:RustNOASSERTION000

010

Language:JavaScript020

Shuttle is a library for testing concurrent Rust code

Language:RustApache-2.0000