Badges

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

/dhsorens

Badges

Overview
Ranks
Repositories
Languages

Derek Sorensen

@dhsorens

🇬🇧 London, UK

University of Cambridge

Profile age: over 7 years

Updated 25 days ago

16 followers • 36 following

Contacts

Repositories

8

0

updated 7 months ago • age over 2 years

Coq99.6%

Makefile0.4%

3

2

updated over 6 years ago • age about 7 years

0

0

updated about 4 years ago • age about 4 years

TypeScript94.2%

Python2.1%

Shell2.0%

HTML0.9%

JavaScript0.9%

matching-engine

0

0

updated 5 months ago • age 5 months

Lean73.5%

C13.6%

Makefile12.9%

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
krho
2 PRs +283-14
Makefile
4
3