Disalg-ICS-NJU

global

Languages

4 total

Language	Repos	Stars	Global
all	5	74	352,587
Python	1	63	75,815
TLA	2	9	67
Java	1	1	868,679
unknown	1	1	1,845,394

Repos

5 total

Repo	Language	Stars	Rank
algocentric	Python	63	92,697
zookeeper-tla-spec	TLA	9	79
MIPA	Java	1	871,967
MET	unknown	1	1,241,187
PaxosStore-TLA	TLA	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/Disalg-ICS-NJU"><img alt="Check out Disalg-ICS-NJU's profile on stardev.io" src="https://stardev.io/developers/Disalg-ICS-NJU/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-09-18T08:50:33.266269092Z Re-sync