Rankings
Badges
/
dhsorens
Rankings
Badges
Overview
Ranks
Repositories
Languages
Derek Sorensen
@dhsorens
Refresh
Open GitHub
🇬🇧 London, UK
University of Cambridge
Profile age: over 7 years
Updated 25 days ago
16 followers • 36 following
Contacts
d@dhsorens.com
dhsorens.com
@dhsorens
in/dhsorens
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Influencer
#886,874
#1,386,091
#876,489
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
FinCert
8
0
updated 7 months ago • age over 2 years
Coq
99.6%
Makefile
0.4%
rholang
3
2
updated over 6 years ago • age about 7 years
ctez
0
0
updated about 4 years ago • age about 4 years
TypeScript
94.2%
Python
2.1%
Shell
2.0%
HTML
0.9%
JavaScript
0.9%
matching-engine
0
0
updated 5 months ago • age 5 months
Lean
73.5%
C
13.6%
Makefile
12.9%
Last Contributions
2025
ArkLib
1 PR
+83
-20
Lean
118
25
7
2022
x4c
2 PRs
+39
-80
Go
2
2
2020
autonity
1 PR
+1,159
-1,152
Go
68
62
20
2018
rchain
~25 PRs
+232
-47
Scala
691
215
85
LearnRholangByExample
3 PRs
+50
-12
JavaScript
66
32
View all contributions
Latest Updates
28 Sep 2025
Followers Count:
15
16
19 Jun 2025
Location:
Cambridge, UK
London, UK
28 May 2025
Website Url:
derekhsorensen.com
dhsorens.com
Social Accounts:
twitter: @dhsorens
twitter: @dhsorens; linkedin: in/dhsorens
14 May 2025
Social Accounts:
generic: https://github.com/derek-certora; twitter: @dhsorens
twitter: @dhsorens
02 Mar 2025
Avatar:
changed
Email:
d@dhsorens.com
19 Jan 2025
First seen
Subscribe to dhsorens's GitHub rank updates in your messenger
WhatsApp
Telegram
