Rankings
Badges
/
annenkov
Rankings
Badges
Overview
Ranks
Repositories
Languages
Danil Annenkov
@annenkov
Refresh
Open GitHub
🇩🇰 Aarhus
Concordium
Profile age: almost 13 years
Updated 13 days ago
28 followers • 4 following
Contacts
danil.v.annenkov@gmail.com
http://dannenkov.me/
Organizations
Repositories
two-level
28
1
updated almost 6 years ago • age over 8 years
Lean
97.2%
Dockerfile
1.6%
Emacs Lisp
1.2%
unmix
12
1
updated almost 12 years ago • age almost 12 years
Racket
100.0%
contracts
9
1
updated about 4 years ago • age almost 11 years
Coq
61.9%
Haskell
21.2%
Standard ML
14.5%
Makefile
2.4%
trace-monoids
8
0
updated over 1 year ago • age over 4 years
Agda
100.0%
futhark-extract
6
1
updated over 3 years ago • age over 4 years
Coq
92.9%
Futhark
6.5%
Makefile
0.6%
ccd-redeem
0
0
updated almost 2 years ago • age about 2 years
Rust
53.4%
TypeScript
32.0%
Python
7.3%
CSS
4.3%
SCSS
3.0%
template-coq
0
0
updated almost 5 years ago • age over 7 years
Coq
74.4%
OCaml
20.3%
Verilog
4.6%
Makefile
0.5%
Shell
0.2%
annenkov.github.io
0
0
updated almost 2 years ago • age about 8 years
HTML
97.2%
CSS
2.2%
JavaScript
0.6%
ConCert
0
0
updated about 3 years ago • age over 5 years
Coq
95.3%
Rust
2.7%
Makefile
0.9%
CSS
0.6%
JavaScript
0.6%
sLOC
0
0
updated over 7 years ago • age over 7 years
JavaScript
81.7%
HTML
10.1%
CSS
8.2%
Contributions
2024
concordium-node
1 PR
+255
-184
Haskell
52
23
25
concordium-base
1 PR
+3,334
-3,981
Rust
27
23
43
concordium-web3id
1 PR
+3,238
-2,428
TypeScript
3
0
3
2023
did-extensions
1 PR
+9
-0
HTML
128
221
concordium-rust-smart-contracts
~14 PRs
+2,957
-141
Rust
69
38
49
namespaces
1 PR
+162
-0
HTML
67
83
concordium-base
1 PR
+863
-292
Rust
27
23
43
concordium.github.io
~6 PRs
+10
-10
Python
18
37
concordium-web3id
3 PRs
+22
-8
TypeScript
3
0
3
concordium-update-proposals
3 PRs
+797
-2
Python
1
0
Show more
