Simmo Saan
sim642
PhD student: static program analysis, programming languages
University of Tartu Estonia
Pierre R.
gr-im
I like to contribute to my friends' projects, especially if they are in OCaml...
@funkywork Florence
Sacha Ayoun
giltho
PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn. Previously worked on @GillianPlatform
Imperial College London
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs
--------
Autogestion à toute échelle, pain et liberté.
@ahrefs @ocaml-sf Glasgow, Scotland
Publicodes
publicodes
Un langage pour l'écriture d'algorithmes d'intérêt général grâce à des règles ouvertes et compréhensibles
France
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
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