imandra-ai

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	73	569	78,646	2,795	2
OCaml	41	471	101	10	1
unknown	9	30	64,033	1,816	1
Jupyter Notebook	4	22	30,294	1,006	1
Reason	1	19	131	2	1
SMT	1	10	51	1	1
Makefile	1	5	8,425	307	1
Emacs Lisp	4	4	5,072	187	1
Rust	2	3	48,455	1,602	2
JavaScript	3	2	870,434	19,932	4
TypeScript	1	2	272,876	6,208	2
Standard ML	1	1	1,025	36	1
Vim Script	1	0	-	-	-
C++	1	0	-	-	-
HTML	3	0	-	-	-

Repos

73 total

Repo	Language	Stars	Rank
verified-react	OCaml	112	343
fix-engine	OCaml	51	734
minisat-ml	OCaml	38	966
ocaml-opentelemetry	OCaml	33	1,103
contracts	OCaml	32	1,157
ocaml-gcloud	OCaml	26	1,432
ocaml-tracy	OCaml	25	1,469
reasonml-tic-tac-toe	Reason	19	156
imandra-ros	OCaml	17	2,034
vega-lite	OCaml	16	2,117

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

Preview

Last updated: 2024-09-25T00:25:03.727686722Z Re-sync