logic-tools

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	13	57	408,226	1,380	509
OCaml	1	34	786	12	5
Isabelle	9	22	22	1	1
HTML	1	1	930,093	1,295	481
unknown	1	0	-	-	-
Agda	1	0	-	-	-

Repos

13 total

Repo	Language	Stars	Rank
sml-handbook	OCaml	34	1,084
nadea	Isabelle	14	32
secav	Isabelle	3	102
simpro	Isabelle	2	179
spa	Isabelle	2	161
logic-tools.github.io	HTML	1	1,434,253
axiom	Isabelle	1	283
aorta	unknown	0	-
mvl	Isabelle	0	-
unification	Isabelle	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/logic-tools"><img alt="Check out logic-tools's profile on stardev.io" src="https://stardev.io/developers/logic-tools/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/logic-tools"><img alt="Check out logic-tools's profile on stardev.io" src="https://stardev.io/developers/logic-tools/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/logic-tools"><img alt="Check out logic-tools's profile on stardev.io" src="https://stardev.io/developers/logic-tools/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-06-20T04:36:42.303387083Z Re-sync