formal-land/coq-of-rust Stargazers
- Thiago Andrade01tpaabr
- Arthur Corrensonacorrenson
- Klaus Andreyandreykl
- Brendan Zabarauskasbrendanzab
- Guillaume Claretclarus
- Charlotte Thomascoco33920
- Danny McClanahancosmicexplorer
- Deirdre Connollydconnolly
- Ayman BoucharebDemuirgos
- Dmitry Petukhovdphov
- Yu-Fu Fufuyu0425
- Huai-Ming Yuhmyuuu
- Jinhua WuHua-hana
- Huỳnh Trần Khanhhuynhtrankhanh
- Shadow Wizurd Money Gang Leaderibx34
- Jorge Hernándezjd-hernandez
- Joomy Korkutjoom
- Jasonjsonzilla
- Marc Pinetmarcpinet
- Mark Hakanssonmarkhakansson
- Minal S Patilminalspatil
- Arnau Abellamonadplus
- Nikitanikitavoloboev
- Masanori Oginoomasanori
- Joshua Roweomnisci3nce
- Peter Blacksonpczarn
- Philip Zuckerphilzook58
- Eva1entRel1cx
- shiranui9231
- Andrew TouchetSimpleConjugate
- Masato Morispica314
- Tim Kerseytkersey
- Lorenzo Veronesewert310
- Oleg Pykhalovwigust
- XBagonXBagon
- Tom Nigetzdimension