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
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%
OpenSSL.lean
0
0
updated over 2 years ago • age over 2 years
C
51.6%
Lean
32.8%
Nix
15.6%
MA8701Prosjekt
0
1
updated over 6 years ago • age over 6 years
Python
100.0%
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
lurk-beta
1 PR
+68
-151
Rust
451
63
neptune
1 PR
+8
-7
Rust
326
105
bellperson
1 PR
+33
-11
Rust
202
130
Http.lean
1 PR
+406
-81
Lean
10
3
YatimaStdLib.lean
1 PR
+272
-0
Lean
8
8
Show more
