pewulfman
Follow
coq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Coq packages.
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
Didier Plaindoux
d-plaindoux
Software Developer
working closely with @akawangroup
Distributed Computing | Compiler
@dplaindoux@functional.cafe |
@dplaindoux.bsky.social
Freelance at Fungus Toulouse, France
Colin Seymour
lildude
2:38 marathon πββοΈ, part-time π£ββοΈ, π» drinker, coder and stay-at-home π¨βπ. Also senior engineer @github & lead maintainer of github-linguist/linguist
GitHub United Kingdom
Matrefeytontias
matrefeytontias
French rendering engineer and game developer. Puts math in video games and video games in math. If you don't believe me, check out my 4D graphics engine (ββ _β )
Paris, France
Fred de Villamil
fdv
CTO at Data Impact by NIQ. System engineer, writer, speaker, doer. Proud open source contributor since 1996
@home Paris, France
