Stargazers
- a-nikolaev
- abeaumont
- andreypopp@mechanize-systems
- artob@asimov-platform
- aziem
- Bronsa@imandra-ai
- c-cubeImandra (@imandra-ai)
- cbresendiz1
- clayratIMDEA Software
- DrupInria
- dsheetsCambridge, UK
- dtpetersFreelance
- emctooShinetech
- Gbury@OCamlPro
- hammer
- hcarty
- ivgForAllSecure, Inc
- jbulowGlumslöv
- jeromesimeonClause, Inc.
- jogietÉcole Normale Supérieure
- juanbono@lambdaclass
- maelvls@CyberArk
- markfarrellCanada
- mseriRijksuniversiteit Groningen
- mseveUniversity of Glasgow
- nbuoninColumbia University
- RexYuan@sifive
- Risto-StevcevSkopje, North Macedonia
- rvantonder@sourcegraph
- samoht@tarides
- sirinathSakrio!
- smondetNew York, NY
- tautologicoUFPB
- tbrkInria
- xennygrimmatoGoogle
- zshipko@dylibso