mortensol - Repositories & Contributions | GitRanks

Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/mortensol

Badges

Overview
Ranks
Repositories
Languages

@mortensol

null

Profile age: about 8 years

Updated about 11 hours ago

2 followers • 1 following

Repositories

1

5

updated over 2 years ago • age almost 4 years

eC98.6%

Python1.4%

Contributions

2022
easycrypt
1 PR +85-80
OCaml
368
54
8