gauravpartha

global

Languages

3 total

Language	Repos	Stars	Global
all	4	8	1,536,587
Isabelle	2	5	67
Boogie	1	3	6
Scala	1	0	-

Repos

4 total

Repo	Language	Stars	Rank
foundational_boogie	Isabelle	5	70
boogie_proofgen	Boogie	3	10
inlining_artifact	Isabelle	0	-
gauravpartha-website	Scala	0	-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/gauravpartha"><img alt="Check out gauravpartha's profile on stardev.io" src="https://stardev.io/developers/gauravpartha/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-10-28T11:09:02.259382942Z Re-sync