isabelle-utp

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	22	85	303,078	10,669	47
Isabelle	16	76	10	2	1
TeX	2	4	14,606	557	4
Shell	2	2	154,160	4,946	31
Standard ML	1	2	557	19	1
unknown	1	1	1,747,060	24,764	102

Repos

22 total

Repo	Language	Stars	Rank
utp-main	Isabelle	34	17
interaction-trees	Isabelle	6	59
Optics	Isabelle	5	67
Z_Toolkit	Isabelle	5	65
Hybrid-Verification	Isabelle	5	64
UTP	Isabelle	4	76
Shallow-Expressions	Isabelle	3	101
Isabelle-SACM	Isabelle	3	96
Hybrid-Library	TeX	2	25,557
isabelle-quantity	TeX	2	25,371

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-04-24T05:51:09.960922152Z Re-sync