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
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%
pcc
2
0
updated over 5 years ago • age over 5 years
Coq
100.0%
tarjan
0
0
updated almost 4 years ago • age over 7 years
Coq
92.9%
Makefile
7.1%
verdi
0
1
updated over 8 years ago • age almost 10 years
Coq
94.4%
OCaml
2.1%
Shell
1.9%
Makefile
0.8%
Python
0.8%
algorand-verification
0
0
updated about 1 year ago • age almost 3 years
Coq
52.5%
TeX
47.5%
coq-primitive
0
1
updated almost 2 years ago • age almost 2 years
OCaml
86.0%
C
14.0%
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
reglang
1 PR
+6
-3
Coq
45
7
7
HolBA
~6 PRs
+4,811
-3,418
Standard ML
42
21
aac-tactics
1 PR
+19
-18
OCaml
34
24
17
gaia
1 PR
+2
-11
Rocq Prover
31
7
11
coqoban
1 PR
+11
-5
Coq
23
2
2
Show more
