tamarin-prover/teaching Stargazers
- Ahmadabahmadb
- Adrian Maneaadimanea
- Andrew Leeandrew-lee-work
- Andrew CashAndrewCash
- Anwar-20
- batmangshock
- Jiaqi Yangbeiluoshimeng
- LeeSeungyongbongbongco
- Christopher Woodchris-wood
- Daniel Díaz Carretedanidiaz
- Darren Lidarrenldl
- Dea MangoDeaML86
- EA0000
- Tung-Che Changfarmerzhang1
- gapry
- Robert GorrieGorrieXIV
- hkopp
- irwincong
- jdreier
- jinshushi
- Javier Junquera Sánchezjunquera
- Martin Dehnel-Wildmpdehnel
- Yun GaoMstKenway
- Nafal-sa
- pw0rldpw0rld
- Ralf Sassersasse
- shipeng331
- Sophie ChenSophieXin9636
- Dennis Liutajiaodavid
- Tjjsea
- Shawnunshorn
- Vitaly Zadorozhnyvitaly-z
- zjuethanwang-jingyi
- Wanli XueWanliXue
- wkssd
- Erikworstpractice