Rankings
Badges
/
annenkov
Rankings
Badges
Overview
Ranks
Repositories
Languages
Danil Annenkov
@annenkov
Refresh
Open GitHub
🇩🇰 Aarhus
Concordium
Profile age: almost 13 years
Updated 12 days ago
28 followers • 4 following
Contacts
danil.v.annenkov@gmail.com
http://dannenkov.me/
Organizations
Profile Overview
Global
Denmark
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Creator
#318,491
#1,235,114
#496,909
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 10 repositories
Last 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
View all contributions
Subscribe to annenkov's GitHub rank updates in your messenger
WhatsApp
Telegram
