isabelle-utp

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	22	84	329,107	11,304	51
Isabelle	16	75	11	2	1
TeX	2	4	15,687	583	4
Shell	2	2	163,050	5,092	28
Standard ML	1	2	595	21	1
unknown	1	1	1,897,564	26,322	103

Repos

22 total

Repo	Language	Stars	Rank
utp-main	Isabelle	34	17
interaction-trees	Isabelle	6	62
Optics	Isabelle	5	71
Z_Toolkit	Isabelle	5	69
Hybrid-Verification	Isabelle	5	68
UTP	Isabelle	4	85
Shallow-Expressions	Isabelle	3	113
Isabelle-SACM	Isabelle	3	108
Hybrid-Library	TeX	2	27,756
isabelle-quantity	TeX	2	27,573

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

Preview

Last updated: 2024-11-13T09:47:57.076431404Z Re-sync