dvanhorn

Languages

8 total

Language	Repos	Stars	Global	Country	Locality
all	22	224	160,942	23,109	326
Racket	14	201	42	17	1
OCaml	1	14	1,301	203	5
Standard ML	1	5	274	51	1
TeX	2	4	14,865	2,134	33
Coq	1	0	-	-	-
PHP	1	0	-	-	-
Scala	1	0	-	-	-
unknown	1	0	-	-	-

Repos

22 total

Repo	Language	Stars	Rank
redex-aam-tutorial	Racket	101	66
oaam	Racket	30	263
dpc	Racket	26	297
pcf	Racket	17	449
ubik	OCaml	14	2,430
ralist	Racket	11	682
fector	Racket	7	985
jam	Standard ML	5	372
cmsc631-notes	TeX	4	17,401
snake	Racket	3	1,944

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

Preview

Last updated: 2024-09-19T17:36:29.998213735Z Re-sync