Stargazers
- achermINSA Rennes, IRISA, Inria
- aiifabbfShanghai
- AllenZzw
- arminbiereFreiburg im Breisgau, Germany
- audemard
- c-cubeImandra (@imandra-ai)
- crack521
- DiDiDoesUCLA
- DvonHoltenHamburg
- errata-c
- guillaume-lagarde@criteo
- hriener
- JoanEspasa
- jsilllLisboa
- lorensipro
- lrkkrWaseda University
- m-fleury
- marcelwa@cda-tum
- MarkusRabeUniversity of California, Berkeley
- MATRIXKOO@Vidar-Team @InProgramming
- maxm4
- naaskingSoftware Consultant
- PeterMacGonagan
- potatoboiler
- pretentious7
- QRWells@moneyforward
- r8d8Europe
- ramonfmirLondon
- sarskoAmazon Web Services
- the-butterflyHangZhou, ZheJiang Province
- togatogaTokyo
- typesAreSpaces
- tytus-metrycki
- vale1410Isotronic GmbH / University of Potsdam
- vsklad
- yangdinglou