[go: up one dir, main page]
Skip to content
View sarsko's full-sized avatar
63 followers · 15 following
  • Amazon Web Services
  • Seattle

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2

Block or report sarsko

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@QnJ1c2kNCg
Bruno Roy QnJ1c2kNCg
la fin de la fin

AWS Seattle

@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@jamesbornholt
James Bornholt jamesbornholt
computerer

@aws Austin

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@xldenis
Xavier Denis xldenis
formal verification hacker

ETHZ Zurich/Paris

@Permki
Per Magne Permki
Mainly interested in backend, optimization, Linux OS development, network, Java (and coffee) and Latex

Oslo Oslo

@idamotz
Ida Sandberg Motzfeldt idamotz
@Gauteab
Gaute Berge Gauteab
@sondresl
Sondre Lunde sondresl
Developer

DNB Oslo, Norway

@HenrikAndreas
Henrik Andreas Bratli HenrikAndreas

Knowit Objectnet Norway | India | Germany

@sergiosja
Sergey Jakobsen sergiosja
🌳🐝🤠🌻🐒🌞🦦

Blank Oslo, Norway

@sivertschou
Sivert Schou Olsen sivertschou
@danbanan
Dan Rachou danbanan

TietoEvry Oslo, Norway

@eirikhalvard
Eirik Halvard Sæther eirikhalvard
Software Engineer @nrkno

@nrkno Oslo, Norway