eth-sri

Languages

16 total

Language	Repos	Stars	Global	Country	Locality
all	95	7,551	7,011	54	24
Python	57	5,778	1,333	12	4
Solidity	1	586	101	1	1
C++	11	510	5,033	68	24
Java	3	255	9,943	62	15
JetBrains MPS	1	130	7	1	1
SMT	1	84	16	2	1
JavaScript	3	67	55,840	373	142
unknown	8	49	45,224	280	111
HTML	2	33	23,016	177	70
D	1	19	409	3	1
Rust	1	18	18,393	190	83
Jupyter Notebook	1	6	96,522	832	188
OpenQASM	2	5	39	1	1
Shell	1	4	96,550	860	335
Terra	1	4	49	1	1
C#	1	3	151,482	776	403

Repos

95 total

Repo	Language	Stars	Rank
lmql	Python	3,668	1,954
securify2	Solidity	586	74
debin	Python	413	18,539
eran	Python	319	23,604
securify	Java	218	13,265
diffai	Python	217	33,723
Nice2Predict	C++	211	11,061
language-model-arithmetic	Python	211	34,541
ilf	Python	149	46,789
psi	JetBrains MPS	130	7

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

Preview

Last updated: 2024-10-30T10:05:28.790432201Z Re-sync