Rankings
Badges
/
palmskog
Rankings
Badges
Overview
Ranks
Repositories
Languages
Karl Palmskog
@palmskog
Refresh
Open GitHub
🇸🇪 Stockholm, Sweden
KTH Royal Institute of Technology
Profile age: about 15 years
Updated 1 day ago
107 followers • 0 following
Contacts
https://setoid.com
Organizations
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Sweden
Expert 5
Persona
Influencer
#4,046
#4,830
#779
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
fitch
7
2
updated almost 2 years ago • age over 9 years
Standard ML
49.0%
Coq
43.7%
OCaml
6.4%
Makefile
0.9%
ocaml-light
6
0
updated over 6 years ago • age over 6 years
Coq
100.0%
coind-sem-while
4
1
1
updated about 2 years ago • age over 5 years
Coq
100.0%
chip
3
0
1
updated almost 4 years ago • age almost 7 years
Coq
65.9%
OCaml
29.5%
JavaScript
1.7%
CSS
1.5%
Makefile
1.3%
coqdocjs
Archived
2
0
updated almost 6 years ago • age almost 6 years
JavaScript
48.6%
CSS
43.0%
HTML
8.4%
View all 10 repositories
Last Contributions
2025
fourcolor
1 PR
+4
-7
Rocq Prover
219
23
11
opam
~7 PRs
+63
-56
OCaml
149
174
coq-art
1 PR
+2
-1
Coq
126
24
8
htt
1 PR
+159
-14
Rocq Prover
81
6
9
manifesto
2 PRs
+119
-114
68
6
View all contributions
Latest Updates
23 Aug 2025
Followers Count:
104
107
06 Jan 2025
First seen
Subscribe to palmskog's GitHub rank updates in your messenger
WhatsApp
Telegram
