eth-sri

Languages

18 total

Language	Repos	Stars	Global	Country	Locality
all	89	7,433	6,563	53	22
Python	50	5,132	1,364	13	4
Q#	1	606	1	1	1
Solidity	1	567	93	1	1
C++	11	490	4,799	68	24
Java	3	252	9,699	60	14
JetBrains MPS	1	123	7	1	1
SMT	1	73	16	2	1
JavaScript	1	63	56,239	383	140
unknown	10	51	39,957	256	101
D	1	18	418	3	1
Rust	1	17	16,744	170	76
TypeScript	1	15	54,635	429	202
HTML	1	8	79,200	433	154
Jupyter Notebook	1	5	100,871	853	192
OpenQASM	2	4	43	1	1
Shell	1	3	113,074	977	377
Terra	1	3	54	1	1
C#	1	3	141,031	737	370

Repos

89 total

Repo	Language	Stars	Rank
lmql	Python	3,274	1,993
silq	Q#	606	1
securify2	Solidity	567	73
debin	Python	399	17,235
eran	Python	306	22,162
diffai	Python	218	30,278
securify	Java	215	12,994
Nice2Predict	C++	202	10,592
language-model-arithmetic	Python	161	39,290
ilf	Python	142	43,943

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-04-17T04:14:42.678134767Z Re-sync