/dhsorens

Derek Sorensen

@dhsorens

Open GitHub

🇬🇧 London, UK

University of Cambridge

Profile age: over 7 years

Updated 27 days ago

16 followers • 36 following

Contacts

Language Ranks Breakdown

Global United Kingdom

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 8

Position: 12 / 61

Makefile

Beginner 5

1 star
to reach Adept 1

Position: 3,529 / 6.2K

Language Score: 1

This month change: ↓6

Derek Sorensen

@dhsorens

Open GitHub

🇬🇧 London, UK

University of Cambridge

Profile age: over 7 years

Updated 27 days ago

16 followers • 36 following

Contacts

Language Ranks Breakdown

Global United Kingdom

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 8

Position: 12 / 61

Makefile

Beginner 5

1 star
to reach Adept 1

Position: 3,529 / 6.2K

Language Score: 1

This month change: ↓6