gravatar for kind2-mc

kind2-mc kind2-mc on Github

global / united states / coralville

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all987304,23941,63315
OCaml180432751
eC122341
Shell12156,92721,0377
Java32441,38333,63212
TypeScript11436,12934,9939
Rust10---
Python10---

Repos

9 total

RepoLanguageStarsRank
kind2-mc/kind2 on Githubkind2OCaml80475
kind2-mc/kind2-benchmarks on Githubkind2-benchmarkseC227
kind2-mc/cocospec_tcm_experiments on Githubcocospec_tcm_experimentsShell2202,003
kind2-mc/kind2-java-api on Githubkind2-java-apiJava2471,833
kind2-mc/vscode-kind2 on Githubvscode-kind2TypeScript1729,597
kind2-mc/teas on GithubteasRust0-
kind2-mc/mivc-must-experiments on Githubmivc-must-experimentsPython0-
kind2-mc/kind2-explanations on Githubkind2-explanationsJava0-
kind2-mc/kind2-language-server on Githubkind2-language-serverJava0-

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-06-04T17:42:31.064514710Z Re-sync