Following
FUN OCaml
@fun@watch.ocaml.org
G. Allais
@gallais@mamot.fr
The Rocq Prover
@RocqProver@mastodon.acm.org
VeilidNetwork
@VeilidNetwork@masto.hackers.town
Beady Belle Fanchannel
@Profpatsch@mastodon.xyz
Michael Szell
@mszll@datasci.social
viduno
@Viduno@mastodon.xyz
European Greens
@europeangreens@mastodon.social
ESWC Conferences
@eswc_conf@sigmoid.social
David Dufresne
@davduf@mamot.fr