Cornelius Diekmann

@diekmann

Open GitHub

🇩🇪 Munich, Germany

Profile age: over 13 years

Updated 3 days ago

95 followers • 12 following

Profile Overview

Global Germany

Global Rank

Legend 3

Persona

Contributor

#20,719

#5,459

#126,816

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

wasm-fizzbuzz

1,546

updated about 4 years ago • age almost 5 years

C++59.3%

C36.2%

Assembly1.9%

Rust1.8%

Makefile0.7%

Iptables_Semantics

updated over 1 year ago • age about 11 years

Isabelle87.0%

Haskell8.7%

TeX3.4%

Shell0.5%

Python0.3%

net-network

updated over 8 years ago • age over 11 years

Shell84.8%

Python7.8%

Isabelle5.5%

Roff1.9%

uefi_nyan_80x25

updated 9 months ago • age 11 months

HTML85.9%

Rust14.0%

Python0.1%

BACnetSim

updated almost 12 years ago • age almost 13 years

Scala82.1%

Awk17.9%

View all 12 repositories

Last Contributions

2025
OpenTTD
1 PR +3-3
C++
7,152
1,030
49
2024
uefi-rs
2 PRs +5-1
Rust
1,491
180
3
2023
isabelle-go-codegen
3 PRs +86-13
Standard ML
2
2
5
2021
magic-modules
1 PR +1-1
Go
895
2,012
2020
website
4 PRs +21-3
HTML
2
5

View all contributions

Latest Updates

17 Sep 2025
Followers Count:94 95
02 Sep 2025
Followers Count:95 94
19 Aug 2025
Followers Count:96 95
04 Jan 2025
First seen

Subscribe to diekmann's GitHub rank updates in your messenger

WhatsApp Telegram