Anders Christiansen Sørby
@AnderssorbyDeveloping the Monad language. Interested in NixOS, RISC-V, Quantum comp. and Rust.
Norway
91
Followers
214
Following
147
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 40 owned repositories
2.2M
Total LOC
HTML
573,212 lines
26.2%
N/A
Python
293,010 lines
13.4%
N/A
PHP
240,614 lines
11.0%
N/A
Elm
207,612 lines
9.5%
N/A
Rust
117,052 lines
5.3%
N/A
Other
758,808 lines
34.6%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: HTML & Python
HTML
Python
PHP
Elm
Rust
Collaboration Network
Global Impact visualization
Repos
153
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
6 days
1,379
Contributions
119
Commits
6
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
214 total
[eureka@nixos]
@eureka-cpu
Kjetil Omang
@kjetilom
Sandro
@SuperSandro2000
Malte Ott
@maralorn
Marcus Ramberg
@marcusramberg
Synced via GitHub
Top Repositories
SDL.lean
SDL2 bindings for lean
24
5
Lean
Nix.lean
Nix expressions and derivations in lean (in development)
9
0
Lean
FORCE-2019-core
2
0
Python
kodios
KodiOS - a fun little kernel written in Rust
1
0
Rust
relibc
Mirror of https://gitlab.redox-os.org/redox-os/relibc
1
0
Rust
event-app
1
0
Rust
rust-web-play
Trying out Rust with Actix and SurrealDB
1
0
Rust
atproto-fun
1
0
TypeScript
rustyverse
Rust ActivityPub node (wip)
1
0
Rust
DocGen4.lean
Document Generator for Lean 4
1
0
Lean
Open Source Impact
Contributions to external projects
83 merged PRs
NixOS/nixpkgs
25090
cognitedata/cognite-sdk-rust
8
snowfallorg/nix-software-center
829
monad-lang/.github
0
monad-lang/monad
3
monad-lang/monad-lang.github.io
0
monad-lang/tree-sitter-monad
1
Contributed to 7 repositories