avigad

Languages

6 total

Language	Repos	Stars	Global	Country	Locality
all	21	291	132,382	19,201	220
Lean	11	204	14	2	1
Python	4	57	80,884	11,657	233
Ruby	1	13	23,406	6,146	48
Isabelle	1	11	42	2	1
TeX	3	6	10,653	1,526	40
unknown	1	0	-	-	-

Repos

21 total

Repo	Language	Stars	Rank
mathematics_in_lean_source	Lean	81	45
lamr	Lean	81	44
qpf	Lean	33	113
polya	Python	31	162,430
boole	Python	26	185,305
formal_methods_in_education	Ruby	13	33,423
arwm	Isabelle	11	41
isabelle	TeX	5	14,374
verification_demo	Lean	3	673
auto	Lean	2	962

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

Preview

Last updated: 2024-09-26T03:06:28.803766883Z Re-sync