Following

The Rocq Prover

@RocqProver@mastodon.acm.org

SourceForge

@sourceforge@fosstodon.org

Stephen

@fractaledmind@ruby.social

Rob Carlson

@vees@jawns.club

TrenchBroom

@trenchbroom@mastodon.gamedev.place

molegato

@molegato@mastodon.gamedev.place

MKSchmidt

@MKSchmidt@mastodon.social

The War on Cars

@TheWarOnCars@mastodon.social