dwrensha

Languages

15 total

Language	Repos	Stars	Global	Country	Locality
all	47	930	53,374	8,233	90
Rust	12	596	2,077	311	3
Lean	7	224	15	2	1
Cap'n Proto	3	31	4	2	1
JavaScript	6	29	103,201	15,850	112
AGS Script	2	27	62	12	1
PHP	1	13	43,613	4,766	33
Ruby	2	6	39,420	9,849	74
C++	3	2	290,441	26,834	459
Standard ML	1	1	941	168	5
unknown	3	1	1,705,636	108,421	946
ActionScript	1	0	-	-	-
Scala	2	0	-	-	-
CSS	1	0	-	-	-
HTML	2	0	-	-	-
Java	1	0	-	-	-

Repos

47 total

Repo	Language	Stars	Rank
seer	Rust	350	3,360
compfiles	Lean	111	36
gj	Rust	110	8,022
fuzz-rustc	Rust	56	12,897
lean4-maze	Lean	48	94
animate-lean-proofs	Lean	38	109
acronymy-assistant	AGS Script	27	58
sandstorm-rawapi-example-rust	Rust	23	23,522
acronymy	Rust	22	24,227
gitlab-sandstorm	Cap'n Proto	20	4

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

Preview

Last updated: 2024-11-07T19:00:26.599869771Z Re-sync