priyasiddharth

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	7	4	2,300,859	230,610	375
Dafny	1	2	29	12	1
Python	1	1	1,221,662	115,706	269
Agda	2	1	537	65	1
unknown	1	0	-	-	-
C	2	0	-	-	-

Repos

7 total

Repo	Language	Stars	Rank
seaurchin	Dafny	2	43
autopoiesis-system	Python	1	2,105,817
agda-book	Agda	1	951
priyasiddharth.github.io	unknown	0	-
sv-comp-c	C	0	-
cs642-w22	Agda	0	-
verify-mbedtls	C	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/priyasiddharth"><img alt="Check out priyasiddharth's profile on stardev.io" src="https://stardev.io/developers/priyasiddharth/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/priyasiddharth"><img alt="Check out priyasiddharth's profile on stardev.io" src="https://stardev.io/developers/priyasiddharth/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/priyasiddharth"><img alt="Check out priyasiddharth's profile on stardev.io" src="https://stardev.io/developers/priyasiddharth/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-14T19:29:28.467207891Z Re-sync