Rankings
Badges
/
ssoelvsten
Rankings
Badges
Overview
Ranks
Repositories
Languages
Steffan Sølvsten
@ssoelvsten
Refresh
Open GitHub
🇩🇰 Aarhus, Denmark
Aarhus University
Profile age: about 10 years
Updated about 17 hours ago
50 followers • 42 following
Contacts
soelvsten@cs.au.dk
https://ssoelvsten.github.io
@SSoelvsten
@soelvsten@mastodon.social
in/steffan-soelvsten
Organizations
Profile Overview
Global
Denmark
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Creator
#199,639
#897,237
#270,060
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
adiar
31
15
19
updated 3 days ago • age over 5 years
C++
99.5%
CMake
0.3%
Makefile
0.2%
C
0.1%
latex-preamble-and-examples
23
7
7
updated 12 months ago • age about 9 years
TeX
99.3%
Python
0.7%
bdd-benchmark
19
4
4
updated about 2 months ago • age about 5 years
C++
78.9%
Python
19.6%
CMake
1.5%
buddy
13
3
updated over 1 year ago • age over 4 years
C
82.4%
C++
16.0%
CMake
1.2%
Makefile
0.3%
M4
0.2%
interaction-design-in-a-nutshell
12
1
updated almost 4 years ago • age over 7 years
TeX
100.0%
View all 20 repositories
Last Contributions
2025
cudd
3 PRs
+57
-0
C
145
75
3
Troupe
3 PRs
+188
-77
TypeScript
21
16
lib-bdd-ffi
1 PR
+1
-1
Rust
0
1
2024
sylvan
1 PR
+2
-2
C
79
30
biodivine-lib-bdd
1 PR
+18
-6
Rust
23
5
38
View all contributions
Latest Updates
16 Oct 2025
Followers Count:
49
50
26 May 2025
Avatar:
changed
05 Jan 2025
First seen
Subscribe to ssoelvsten's GitHub rank updates in your messenger
WhatsApp
Telegram
