leonardoalt

Languages

7 total

Language	Repos	Stars	Global	Country	Locality
all	23	878	51,986	8,122	207
unknown	1	309	10,249	1,362	56
Solidity	9	214	251	20	3
SMT	3	145	10	3	1
Rust	5	145	4,785	707	26
Python	2	43	91,410	13,147	275
TeX	2	21	3,879	598	17
C++	1	1	460,016	39,313	828

Repos

23 total

Repo	Language	Stars	Rank
ethereum_formal_verification_overview	unknown	309	10,818
yools	SMT	139	11
fusion	Rust	116	6,699
dl_symb_exec_sol	Solidity	109	461
tinyzkevm	Python	43	115,114
sol-macros	Solidity	31	1,476
sol_generic_vector	Solidity	27	1,658
evm	Rust	17	24,445
SolPrologV2	Solidity	15	2,651
pinballctf	Solidity	12	3,090

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

Preview

Last updated: 2024-04-04T05:25:11.343701374Z Re-sync