MichaelBurge

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	38	710	65,594	9,991	190
Racket	4	254	34	14	1
Rust	1	229	3,915	591	19
Haskell	13	140	779	161	11
Coq	3	56	96	18	2
PLpgSQL	1	16	522	95	3
JavaScript	1	7	301,376	39,887	780
C++	3	3	205,599	19,969	283
C#	1	3	142,086	13,294	196
Go	1	1	164,036	16,818	289
Perl	4	1	19,462	3,242	75
C	1	0	-	-	-
unknown	2	0	-	-	-
Java	1	0	-	-	-
Assembly	2	0	-	-	-

Repos

38 total

Repo	Language	Stars	Rank
pyramid-scheme	Racket	248	27
nes-emulator	Rust	229	4,547
haskoin	Haskell	90	1,118
pornview	Coq	51	112
lambda-exchange	Haskell	20	4,050
redshift-shellcode	PLpgSQL	16	555
yxdb-utils	Haskell	12	6,035
pond.js	JavaScript	7	382,339
js-jit	Haskell	5	11,530
goodsteins-theorem	Coq	4	971

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/MichaelBurge"><img alt="Check out MichaelBurge's profile on stardev.io" src="https://stardev.io/developers/MichaelBurge/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/MichaelBurge"><img alt="Check out MichaelBurge's profile on stardev.io" src="https://stardev.io/developers/MichaelBurge/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/MichaelBurge"><img alt="Check out MichaelBurge's profile on stardev.io" src="https://stardev.io/developers/MichaelBurge/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-09-14T15:29:41.017726945Z Re-sync