sarsko

Sarek Høverstad Skotåm's repositories

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

Language:RustMIT620 8 10

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

010

CC-BY-SA-4.0010

Gruvbox color scheme for iTerm 2.

MIT010

Capability-based verifier for safe Rust clients of interior mutability

Language:RustNOASSERTION000

020

Language:JavaScript020

Shuttle is a library for testing concurrent Rust code

Language:RustApache-2.0010

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

MIT000