DistAlgo

global

Languages

3 total

Language	Repos	Stars	Global
all	4	96	300,119
Python	2	86	62,152
TLA	1	8	76
OpenEdge ABL	1	2	758

Repos

4 total

Repo	Language	Stars	Rank
distalgo	Python	84	76,127
proofs	TLA	8	93
examples	Python	2	1,332,804
alda	OpenEdge ABL	2	662

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

Preview

Last updated: 2024-11-03T22:27:56.309645386Z Re-sync