smorimoto
Follow
OCaml Community
ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Navin Keswani
novemberkilo
Programmer, retreaded mathematician
@anamorphic-digital @CartesianSoftware Gadigal country, Sydney, Australia
Christiano Haesbaert
haesbaert
I break software and then attempt to fix it.
@elastic Artificial Wonderlands
Stefano Zacchiroli
zacchiro
Computer Science full professor at Télécom Paris, IP Paris. Co-founder & CTO @SoftwareHeritage. Previously: @Debian leader, @OpenSourceOrg board.
Télécom Paris, Polytechnic Institut of Paris Paris, France
Etienne Marais
maiste
Like open-source and sustainable development. Curious about the universe 🌱
Computer Hacker 🦉
@tarides
Nicolas Osborne
n-osborne
Software Engineer at Tarides.
PhD in Philosophy.
Hitchhiker of the Universe of Discourse.
@tarides Lille, France
Tom Ridge
tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python. Interested in reliable systems.
UK
Tim McGilchrist
tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.
@tarides Sydney, Australia
PreviousNext