Helmut K. C. Tessarek
tessus
Always trying to break stuff.
8A55 70C1 BD85 D34E ADBC 386C 1723 80A0 11EF 4944
Toronto, Canada
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
opam package manager
ocaml-opam
opam is the source-based package manager for the OCaml community
Tianon Gravi
tianon
bashochist; debian, dragon, father, go, jq, perl, (neo)vim;
he/him or they/them
@docker, but thoughts, comments, commits generally his own ("do not represent the views of Docker, Inc" etc etc) Las Vegas, NV
Erik Bernhardsson
erikbern
Working on some weird ideas for data infra at @modal-labs. Built the music rec sys at @spotify, blogs sometimes.
Modal Labs New York City
Louis Ayroles
LouisAyroles
Software Engineer Air France
Teacher Paul Sabatier University
Université Paul Sabatier Toulouse
Nicolas Amat
nicolasAmat
Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest
ONERA, The French Aerospace Lab Toulouse, France
Jen-Chieh Shen
jcs090218
Don’t worry — most of these commits are just typo fixes.
Seattle, WA | Taiwan
David Chemouil
grayswandyr
Comp. sci. senior researcher and teacher, occasional programmer, free software advocate
ONERA Toulouse, 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