Sarek Høverstad Skotåm (@sarsko)
github

sarsko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    520
  • Global Rank 53,977 (Top 2 %)
  • Followers 57
  • Following 13
  • Registered over 5 years ago
  • Most used languages
    Go
         33.3 %
    Python
         33.3 %
    Rust
         33.3 %
  • Location 🇳🇴 Norway
  • Country Total Rank 268
  • Country Ranking
    Rust
         10
    Go
         276
    Python
         965

Top repositories

1

CreuSAT

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

AdventOfCode

My solutions to Advent of Code
Python
5
star
3

advent-of-gopilot

Advent of Code 2016 in Go using only GitHub Copilot
Go
3
star