clarus

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	94	975	48,047	1,060	389
JavaScript	12	623	10,112	248	91
Coq	25	292	21	1	1
OCaml	8	34	778	72	36
HTML	4	14	45,864	795	236
Ruby	10	7	35,387	731	290
unknown	17	2	644,611	8,860	2,421
Dockerfile	2	1	40,597	1,258	334
Clojure	1	1	10,376	146	53
CSS	4	1	364,693	4,812	1,293
Python	1	0	-	-	-
Makefile	4	0	-	-	-
C	2	0	-	-	-
TypeScript	1	0	-	-	-
TeX	3	0	-	-	-

Repos

94 total

Repo	Language	Stars	Rank
redux-ship	JavaScript	608	10,827
coq-chick-blog	Coq	178	32
falso	Coq	90	64
smart-print	OCaml	31	1,192
coq-blog	HTML	10	59,879
cybele	Coq	6	704
coq-list-string	Coq	5	798
redux-ship-devtools	JavaScript	5	494,907
phd-experiments	Coq	4	943
coq-moment	HTML	4	149,828

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

Preview

Last updated: 2024-05-04T20:12:56.418851784Z Re-sync