lyxia @lyxia@mamot.fr

Blog: https://blog.poisson.chat

Home: https://poisson.chat

Github: https://github.com/Lysxia

Gitlab: https://gitlab.com/lysxia

Haskell and Coq programmer

Joined Dec 2019

31 Following 74 Followers

irene @euisuny@types.pl

William J. Bowman @wilbowma@types.pl

Pupstime @pupstime@mamot.fr

自然男孩瑞克·弗莱尔宁 @hm@raru.re

Miaourt 🔻 @Miaourt@raru.re

FluffyKittenSpamBot @fluffykittenspambot@mastodon.bida.im

Hécate @hecate@pleroma.fr

TAH @TheAspiringHacker@functional.cafe

iitalics ❤💜💙 @iitalics@cybre.space

Andrew Miloradovsky @amiloradovsky@functional.cafe

bthom @bthom@mastodon.mit.edu

bandali @bandali@pleroma.site