Following

Divya Ranjan :hilbert:

@divyaranjan@mathstodon.xyz

Lean

@leanprover@functional.cafe

Rust Language

@rust@social.rust-lang.org

NixOS

@nixos_org@chaos.social

Orzklv

@orzklv@social.floss.uz

Seth Johnson :mastodon:

@seth@hometech.social

kei

@kei@functional.cafe