Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.
-
Amazon Web Services
- Seattle
Block or Report
Block or report sarsko
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
mendel-verifier Public
Forked from viperproject/mendel-verifierCapability-based verifier for safe Rust clients of interior mutability
Rust Other UpdatedApr 17, 2024 -
CreuSAT Public
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
-
shuttle Public
Forked from awslabs/shuttleShuttle is a library for testing concurrent Rust code
Rust Apache License 2.0 UpdatedFeb 28, 2024 -
-
-
creusot Public
Forked from creusot-rs/creusotdeductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Rust GNU Lesser General Public License v2.1 UpdatedMay 12, 2023 -
-
Grunnprofil Public
Forked from 3lbits/CIM4NoUtilityCreative Commons Attribution Share Alike 4.0 International UpdatedJun 15, 2022 -
advent-of-gopilot Public
Advent of Code 2016 in Go using only GitHub Copilot
-
iterm2-gruvbox Public
Forked from herrbischoff/iterm2-gruvboxGruvbox color scheme for iTerm 2.
MIT License UpdatedNov 22, 2020 -