clayrat

Languages

9 total

Language	Repos	Stars	Global	Country	Locality
all	67	252	141,307	1,301	255
Idris	30	137	19	1	1
Coq	6	58	87	2	1
Scala	11	21	3,699	44	16
PureScript	7	17	227	5	1
Agda	7	13	151	1	1
Rust	1	3	43,088	321	59
unknown	3	3	411,676	3,422	682
Haskell	1	0	-	-	-
HTML	1	0	-	-	-

Repos

67 total

Repo	Language	Stars	Rank
fav-ssr	Coq	36	157
sequent-calc-talk	Idris	30	76
sequent-calc	Idris	26	90
modal-types	Idris	17	136
opticui-elm-architecture	PureScript	13	546
idris-linear	Idris	13	175
coherence-spaces	Coq	9	499
rp-with-monix	Scala	7	11,448
exp-subs	Idris	6	272
logrel-guarded	Agda	6	362

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

Preview

Last updated: 2024-05-10T00:54:43.093292157Z Re-sync