Romain Letourneur
letrome
PhD graduated in Exact Exponential Algorithms applied to Graph Theory, and after a few years as a back-end engineer, I became an Engineer Manager.
@swan-io Paris, 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
OCaml Community
ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
Ben Andrew
benmandrew
PhD Researcher.
Former Software Engineer
University of Manchester United Kingdom
Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
Our World in Data
owid
Research and data to make progress against the world’s largest problems
United Kingdom
Jan Midtgaard
jmid
Hacks on FP and property-based testing.
Former academic. Open to work.
Independent Denmark
Christiano Haesbaert
haesbaert
I break software and then attempt to fix it.
@elastic Artificial Wonderlands
Ulugbek Abdullaev
ulugbekna
👋 I work on VS Code & GitHub Copilot Chat. Contributor to ocaml-lsp and OCaml Platform vscode extension
Zurich
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
Johannes Bader
olydis
Trying to make developer tools suck less and hacking on tree calculus.
Interests: PL design, formal verification, automatic program repair, education.
New York City, USA
Shakthi Kannan
shakthimaan
Free/Libre Software developer. Speaker. Writer. Emacser. Functional Programmer.
Chennai, India
PreviousNext