Skip to content
View talex5's full-sized avatar
268 followers · 43 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx2

Organizations

@0install

Block or report talex5

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@balat
Vincent Balat balat
@mjambon
Martin Jambon mjambon
Automation enthusiast

Semgrep San Francisco Bay Area

@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@c-cube
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

@Octachron
Florian Angeletti Octachron

Inria Paris

@polytypic
Vesa Karvonen polytypic

Helsinki, Finland

@abbysmal
Abi abbysmal
My brain is a hamster spinning rly rly fast in its wheel. May or may not program computers.

Datadog France

@jonludlam
Jon Ludlam jonludlam

@tarides Cambridge, UK

@fabbing
Fabrice fabbing

@DataDog France

@raphael-proust
Raphaël Proust raphael-proust
@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@kit-ty-kate
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

@palainp
Pierre Alain palainp
@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands

@art-w
art-w
@aantron
Anton Bachin aantron

Eudaimonia

@mtelvers
Mark Elvers mtelvers
@bikallem
Bikal Lem bikallem

@lemaetech Reading, UK

@alyssais
Alyssa Ross alyssais
736C CDF9 EF51 BD97 Avatar by Chipiku.
@Sudha247
Sudha Parimala Sudha247

@tarides Netherlands

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@tmcgilchrist
Tim McGilchrist tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.

@tarides Sydney, Australia

@charguer
Arthur Charguéraud charguer
@ctk21
Tom Kelly ctk21
@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@dra27
David Allsopp dra27
SRE at University of Cambridge; Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

University of Cambridge and @tarides Cambridge, UK

@stedolan
Stephen Dolan stedolan
@craigfe
Craig Ferguson craigfe
Software engineer @monzo. Previously @tarides.

Cambridge, UK

@linse
linse linse

@duckduckgo Berlin

@pqwy
dkm pqwy
@mor1
Richard Mortier mor1

University of Cambridge Cambridge, UK

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@yomimono
yomimono yomimono

Wisconsin, USA

@djs55
David Scott djs55
Work for Docker, enthusiast of Unikernels, OCaml and Mirage hacker.

Docker Inc Cambridge

@hannesm
Hannes Mehnert hannesm

@robur-coop

@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

@MagnusS
Magnus Skjegstad MagnusS

University of Oslo Oslo, Norway

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@dsheets
David Sheets dsheets
drinks from sources.

Cambridge, UK

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@samoht
Thomas Gazagnaire samoht

@tarides Paris, FR

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK