Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
Nick Barnes
NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.
Cambridge, UK
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Charlotte Thomas
vanilla-extracts
French Developer, System Admin and State Civil Servant
OCaml amateur, Rust lover, Java master, Scala hater, Python scripter, Typst Enjoyer
DevOps Engineer, State Civil Servant Rennes, France
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
LaTrissTitude
Data engineering, AoC, AI, Data science, NLP, Computer Vision and Modding.... But nothing to see here !
Check out my linked-in instead ! :)
France
Christine Rose
christinerose
Technical Writer. Playwright. Author. Watercolorist. Pluviophile.
London / PDX
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
David Scott
djs55
Work for Docker, enthusiast of Unikernels, OCaml and Mirage hacker.
Docker Inc Cambridge
PreviousNext