lemastero

Languages

9 total

Language	Repos	Stars	Global	Country	Locality
all	37	411	96,076	807	3
Scala	14	393	433	12	1
unknown	8	7	180,138	1,167	5
Agda	4	4	298	2	1
Idris	3	3	251	1	1
Clojure	3	2	6,565	51	1
PureScript	1	1	744	10	1
Haskell	2	1	14,312	169	1
Racket	1	0	-	-	-
Nix	1	0	-	-	-

Repos

37 total

Repo	Language	Stars	Rank
scala_typeclassopedia	Scala	375	473
concurrency_parallelism_effects	unknown	7	199,679
applied-category-theory-reading-club	Scala	7	11,075
Triglav	Scala	5	13,645
contravariant_profunctor_exercises	Scala	3	18,691
Idris-Applied-Category-Theory	Idris	3	416
agda-hott	Agda	3	568
scala-types-madness	Scala	1	54,824
clojure-string-calculator-kata	Clojure	1	30,839
ten_pin_bowling	Scala	1	45,936

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

Preview

Last updated: 2024-04-19T00:18:33.280660280Z Re-sync