herbie-fp/herbie Watchers
- Mike HeAD1024
- Amanda Swearnginamaswea
- Anna Wehowskyannahowsky
- Billbillzorn
- Jackson Broughbroughjt
- caocao485caocao485
- Oromioncarlosal1015
- Chuck Urmsonchucku
- Cyndi Aicyndix33
- Dan Grossmandjg98115
- Doug Woosdwoos
- eemailme
- Edward Misbackelmisback
- Yu Fengfredfeng
- Grigory Fedyukovichgrigoryfedyukovich
- Haoming LiuhaomingL
- jasonqiu95
- James Cloosjhcloos
- Julie Newcombjn80842
- Juliet Ohjulietoh
- Wenhao Liliwenhao
- Luis Cezeluisceze
- medskm
- Nathaniel Yazdaninateyazdani
- olopierpa
- Pavel Panchekhapavpanchekha
- RemoRemotion
- Steven S. Lyubomirskyslyubomirsky
- sorawee
- spernsteiner
- Takeshi Watanabetake-cheeze
- Thomas AndersonTom-Anderson
- Bhargav Kulkarniwags-1314
- zhangshuoxiao