kind2-mc

Languages

7 total

Language	Repos	Stars	Global	Country	Locality
all	9	87	305,214	41,711	15
OCaml	1	80	432	75	1
eC	1	2	23	4	1
Shell	1	2	157,363	21,058	7
Java	3	2	443,040	33,671	12
TypeScript	1	1	440,758	35,235	9
Rust	1	0	-	-	-
Python	1	0	-	-	-

Repos

9 total

Repo	Language	Stars	Rank
kind2	OCaml	80	477
kind2-benchmarks	eC	2	27
cocospec_tcm_experiments	Shell	2	202,033
kind2-java-api	Java	2	473,416
vscode-kind2	TypeScript	1	737,689
teas	Rust	0	-
mivc-must-experiments	Python	0	-
kind2-explanations	Java	0	-
kind2-language-server	Java	0	-

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

Preview

Last updated: 2024-06-25T17:44:16.367228621Z Re-sync