Rankings
Badges
/
Anderssorby
Rankings
Badges
Overview
Ranks
Repositories
Languages
Anders Christiansen Sørby
@Anderssorby
Refresh
Open GitHub
🇳🇴 Norway
Profile age: over 11 years
Updated 3 days ago
84 followers • 277 following
Contacts
sorby.xyz
@anders.sorby.xyz
@anderscs@mastodon.green
https://tangled.sh/@anders.sorby.xyz
Profile Overview
Global
Norway
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Contributor
#471,464
#163,887
#147,168
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
SDL.lean
22
4
updated over 1 year ago • age almost 4 years
Lean
56.1%
C
34.1%
Nix
9.8%
Nix.lean
9
0
updated over 2 years ago • age almost 4 years
Lean
92.7%
Nix
7.3%
FORCE-2019-core
2
0
updated about 6 years ago • age about 6 years
Python
95.4%
Shell
4.6%
DocGen4.lean
1
0
updated about 3 years ago • age over 3 years
Lean
56.9%
CSS
27.2%
JavaScript
13.9%
Nix
1.3%
Shell
0.7%
nummatH16
0
0
updated almost 9 years ago • age almost 9 years
MATLAB
100.0%
View all 7 repositories
Last Contributions
2023
Socket.lean
1 PR
+44
-285
C
27
10
straume
1 PR
+36
-24
Lean
6
5
Cli.lean
1 PR
+35
-23
Lean
2
1
2022
helix
1 PR
+256
-0
Rust
39,960
3,046
30
nixpkgs
1 PR
+2
-2
Nix
21,904
16,817
View all contributions
Latest Updates
13 Sep 2025
Followers Count:
83
84
30 Aug 2025
Followers Count:
82
83
16 Aug 2025
Followers Count:
80
82
18 Jul 2025
Followers Count:
81
80
20 Jun 2025
Avatar:
changed
Social Accounts:
bluesky: @anders.sorby.xyz; mastodon: @anderscs@mastodon.green
bluesky: @anders.sorby.xyz; mastodon: @anderscs@mastodon.green; generic: https://tangled.sh/@anders.sorby.xyz
14 Jan 2025
First seen
Subscribe to Anderssorby's GitHub rank updates in your messenger
WhatsApp
Telegram
