michaelsproul

Languages

23 total

Language	Repos	Stars	Global	Country	Locality
all	98	421	101,599	1,285	329
Rust	37	299	3,380	44	15
Python	14	54	86,233	898	238
C	6	19	41,324	478	117
Coq	2	10	334	4	4
Isabelle	2	9	48	1	1
Haskell	5	8	4,562	120	35
Nix	1	4	2,613	54	6
TLA	1	3	108	2	2
JavaScript	5	3	590,644	5,536	1,583
TeX	3	3	18,275	225	59
Solidity	2	2	10,467	54	22
Vim Script	1	2	12,551	186	62
unknown	4	2	661,710	4,894	1,151
Elm	1	1	3,162	60	17
Makefile	4	1	29,796	265	62
Ruby	1	1	130,106	1,867	499
Elixir	1	0	-	-	-
Shell	3	0	-	-	-
Idris	1	0	-	-	-
C++	1	0	-	-	-
HTML	1	0	-	-	-
Go	1	0	-	-	-
Java	1	0	-	-	-

Repos

98 total

Repo	Language	Stars	Rank
rust_radix_trie	Rust	188	5,446
aus_senate	Rust	27	21,181
rust_sequence_trie	Rust	26	21,679
autozfs	C	17	56,911
bullshit	Python	14	301,255
xuino	Python	12	336,935
rust-nightly-archlinux	Python	11	358,659
dblib-linear	Coq	10	504
butter_db	Rust	8	44,789
bulk-pay-aus	Python	7	493,559

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

Preview

Last updated: 2024-11-11T22:07:18.184687919Z Re-sync