maxsnew

Languages

13 total

Language	Repos	Stars	Global	Country	Locality
all	38	248	152,248	21,816	91
Elm	10	54	282	52	1
Agda	3	47	64	8	1
TeX	2	45	2,322	372	3
Racket	7	43	159	61	1
Rust	4	37	12,256	1,763	9
Haskell	4	15	3,230	603	3
JavaScript	1	4	476,131	58,473	139
unknown	1	2	676,797	57,030	200
CSS	1	1	388,311	29,820	87
Python	1	0	-	-	-
Emacs Lisp	1	0	-	-	-
Ruby	2	0	-	-	-
C	1	0	-	-	-

Repos

38 total

Repo	Language	Stars	Rank
modal-scheme	Racket	39	195
cargo-dot	Rust	37	17,138
IO	Elm	29	558
virtual-equipments	TeX	29	3,377
cubical-categorical-logic	Agda	25	108
lazy	Elm	19	779
grammars-and-semantic-actions	TeX	16	5,277
hakyll-elm	Haskell	15	5,160
synthetic-domain-theory	Agda	14	193
cubical-cbpv	Agda	8	301

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

Preview

Last updated: 2024-11-13T17:42:15.454723933Z Re-sync