daniellustig

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	7	69	374,965	49,686	883
Coq	2	30	156	32	3
Alloy	1	30	4	1	1
Python	2	8	313,835	38,535	756
unknown	1	1	1,557,911	96,480	1,403
HTML	1	0	-	-	-

Repos

7 total

Repo	Language	Stars	Rank
riscv-memory-model	Alloy	30	4
pipecheck	Coq	18	319
coatcheck	Coq	12	433
armor	Python	6	556,126
riscv_axiomatic	Python	2	1,190,706
P1239	unknown	1	2,354,276
daniellustig.github.io	HTML	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/daniellustig"><img alt="Check out daniellustig's profile on stardev.io" src="https://stardev.io/developers/daniellustig/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/daniellustig"><img alt="Check out daniellustig's profile on stardev.io" src="https://stardev.io/developers/daniellustig/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/daniellustig"><img alt="Check out daniellustig's profile on stardev.io" src="https://stardev.io/developers/daniellustig/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-11-12T04:25:55.863314391Z Re-sync