Stargazers
- acfoltzer@fastly
- balajirrao@creditornot
- bamosMeta AI (FAIR)
- c-cubeImandra (@imandra-ai)
- cartaziowellposed.com
- catalin-hritcuMax Planck Institute for Security and Privacy (MPI-SP)
- ceilican
- chubbymaggie
- codyroux
- coruus
- csgordonDrexel University
- cstrahanBacktrace
- dddejanNew York, NY
- dwbcampbellWaterloo, Ontario, Canada
- dylanmcPortland, Oregon
- EdPomSan Jose
- fpvandoornUniversity of Paris-Saclay
- hammer
- hanson-avtechtyee
- humeafo
- javra
- joeleong
- kiniOracle
- mschlaipferAmazon Web Services
- msridharRiverside, CA
- nikswamy
- relrod@Ansible @ Red Hat, Inc.
- rsinhaBerkeley, CA
- sdiehlLondon
- sirinathSakrio!
- soimortHome, Earth
- soonhokongAmazon Web Services
- stefanbucur
- steshaw@tweag
- TomMD@paxosglobal
- zlqhem