Maja Kądziołka
meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Probably near my computer
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan
Albert
cerfedino
24 y/o from Italy.
ETHZ CS MSc student in Zürich, Switzerland
ETHZ Zürich, Switzerland
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
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
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Nils Lauermann
Nils-Lauermann
PhD Student in Computer Science (PL) at the University of Cambridge
University of Cambridge Cambridge, UK
Isaac van Bakel
ivanbakel
Haskell developer, programming language & formal verification theorist
Johannes Hostert
JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023
ETH Zurich Zürich, Switzerland
PreviousNext