wilcoxjay

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	34	112	249,243	34,928	1,787
Python	2	75	61,647	9,069	491
Coq	9	15	246	46	5
Dafny	1	12	12	6	2
OCaml	1	3	2,808	495	24
Standard ML	1	3	374	74	3
JavaScript	5	1	1,358,062	138,367	6,456
unknown	2	1	1,587,155	104,416	4,171
Java	3	1	783,971	54,256	2,859
TeX	4	1	43,292	5,661	305
C	1	0	-	-	-
C++	1	0	-	-	-
LilyPond	1	0	-	-	-
Racket	2	0	-	-	-
HTML	1	0	-	-	-

Repos

34 total

Repo	Language	Stars	Rank
mypyvy	Python	59	90,281
coq-lit	Python	16	244,542
notes	Dafny	12	14
tactics	Coq	5	787
mechanized-metatheory2	Coq	5	752
jamesprl	Standard ML	3	485
ill-formed-expressions	OCaml	3	6,486
pretty	Coq	2	1,521
miniprl-coq	Coq	2	1,477
PrettyParsing	Coq	1	2,368

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

Preview

Last updated: 2024-04-06T11:03:01.437046125Z Re-sync