Promela

Rank	Developer	Repos	Stars
1	RFCNLP	2	41
2	pSpaces	1	34
3	nicolasdilley	2	31
4	wolberlab	1	25
5	ribokit	1	7
6	pd95	1	4
7	alexhkurz	1	3
8	kaizsv	1	3
9	tajmone	1	3
10	NaoPoint	2	3

Rank	Repo	Stars	Developer
1	RFCNLP	37	RFCNLP
2	Programming-with-Spaces	34	pSpaces
3	Gomela	29	nicolasdilley
4	dynophores	25	wolberlab
5	RiboDraw	7	ribokit
6	RFCNLP-korg	4	RFCNLP
7	m68k-atari-mint-cross-tools	4	pd95
8	algorithm-analysis-2023	3	alexhkurz
9	Sublime-PML	3	tajmone
10	website	3	seL4

Topic	Repos	Stars