diekmann

Languages

13 total

Language	Repos	Stars	Global	Country	Locality
all	34	1,697	29,325	1,073	99
C++	2	1,500	1,704	71	7
Isabelle	5	103	8	1	1
Shell	2	43	16,058	801	49
C	6	19	38,881	1,506	104
Scala	1	16	4,294	217	20
Python	5	10	245,677	8,010	843
Makefile	2	2	15,555	636	46
unknown	4	2	616,470	12,714	929
TeX	2	2	24,044	1,394	131
Rust	2	0	-	-	-
JavaScript	1	0	-	-	-
Java	1	0	-	-	-
Assembly	1	0	-	-	-

Repos

34 total

Repo	Language	Stars	Rank
wasm-fizzbuzz	C++	1,500	1,616
Iptables_Semantics	Isabelle	94	9
net-network	Shell	41	18,636
BACnetSim	Scala	16	6,668
dump-x86_64-pagetable	C	10	77,238
encryption-is-not-integrity	Python	8	400,138
telnet-password-honeypot	C	5	130,607
topoS	Isabelle	4	86
kant	Isabelle	3	109
cctrack	C	2	281,959

Badges

Get your badge to use on GitHub or websites using the code below

Global Country Locality

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/diekmann"><img alt="Check out diekmann's profile on stardev.io" src="https://stardev.io/developers/diekmann/badge/languages/global.svg" /></a>

Preview

Country

Displays country rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/diekmann"><img alt="Check out diekmann's profile on stardev.io" src="https://stardev.io/developers/diekmann/badge/languages/country.svg" /></a>

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/diekmann"><img alt="Check out diekmann's profile on stardev.io" src="https://stardev.io/developers/diekmann/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-15T19:18:51.238227900Z Re-sync