dafny-lang/dafny Stargazers
- 8573
- Akhilesh Srikanthakhileshs
- Arjun Menonarjun-menon
- Clément Pit-Claudelcpitclaudel
- Colin S. Gordoncsgordon
- 曹文忠cwz8202
- Dimitur Krustevdkrustev
- ejbs
- Flávio Fernandesflaviofernandes004
- Jürgen FriedrichFriedricj
- ghuysmans
- Girish Duvurugirish
- Josh Bowdenjaxrtech
- Jimmy Ruskajimmyrcom
- Jay Kominekjkominek
- daniel gratzerjozefg
- Luca Antigalantiga
- Logyi, hajnalvédőlojikil
- Matějmgrabovsky
- Matt Singletarymsingle
- Giuseppe MassaroN3mes1s
- Nada Aminnamin
- N. Darvillendarville
- НиколаNikolaMandic
- Nikolay Kolevnikolay
- nv-vn
- ofufuoxyflour
- BramPsycojoker
- RenatSh
- Sam Tobin-Hochstadtsamth
- Suminda Sirinath Salpitikorala Dharmasenasirinath
- spinron
- Max Bernsteintekknolagi
- Matt Westrikwestrik
- Georg Wehrmannxnorxnor
- zhangsoledadzhangsoledad