sarsko

Follow

Sarek Høverstad Skotåm sarsko

Follow

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

43 followers · 12 following

Amazon Web Services
Oslo

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Block or Report

Block or report sarsko

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

CreuSAT Public

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

Rust 510 6

437 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to sarsko/CreuSAT, sarsko/AdventOfCode, OleSpjeldnas/Isogeny-Walk-zk-SNARKs-for-SIDH-and-CSIDH and 11 other repositories

Contribution activity

April 2023

2 contributions in private repositories Apr 10