Skip to content
View hanssv's full-sized avatar
56 followers · 5 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

  • Pro

Organizations

@Quviq @aeternity

Block or report hanssv

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Stars

Showing results

AlexKontorovich / RealAnalysisGame

RealAnalysisGame

Lean 60 34 Updated Feb 13, 2026

hanssv / ec_utils

Elliptic curve utilility functions in pure Erlang

Erlang 5 2 Updated Jan 23, 2025

UlfNorell / version

Utility program for version switching

Haskell 2 Updated Jun 26, 2025

hanssv / McErlang

Forked from fredlund/McErlang

The McErlang model checker for Erlang

Erlang 1 Updated Dec 8, 2011

fredlund / McErlang

The McErlang model checker for Erlang

Erlang 65 8 Updated May 19, 2016

hanssv / otp

Forked from erlang/otp

Erlang/OTP

Erlang 1 1 Updated Apr 1, 2026

hanssv / gproc

Forked from uwiger/gproc

Extended process registry for Erlang

Erlang 1 1 Updated Sep 15, 2017

uwiger / gproc

Extended process registry for Erlang

Erlang 1,097 232 Updated Apr 11, 2026

erlang / otp

Erlang/OTP

Erlang 12,111 3,060 Updated Apr 12, 2026

hanssv / gen_leader_revival

Forked from KirinDave/gen_leader_revival

A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation

Erlang 3 1 Updated Apr 29, 2010

KirinDave / gen_leader_revival

A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation

Erlang 65 61 Updated Jul 31, 2011