Skip to content
View tmattio's full-sized avatar

Sponsors

@daemonfire300
@avsm
@zbaylin
@tarides

Highlights

  • Pro

Block or report tmattio

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@raysan5
Ray raysan5
I make tools and technology for videogames development. Available for technical consulting, courses teaching and conferences. Feel free to message me!

@raylibtech Barcelona

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

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

Inria Lyon

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@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.

https://ahrefs.com/ washington DC

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@dra27
David Allsopp dra27
@ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

@janestreet Cambridge, UK

@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

@NathanReb
Nathan Rebours NathanReb
Freelance Software Engineer, OCaml and FP enthusiast

@OCamlPro Bordeaux

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@kritchie
kritchie

Montreal, QC, Canada

@davesnx
David Sancho davesnx
Building the tools behind user interfaces @ahrefs

@ahrefs Barcelona

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen, Northern Zealand

@novemberkilo
Navin Keswani novemberkilo
Programmer, retreaded mathematician

@anamorphic-digital Gadigal country, Sydney, Australia

@metanivek
Kevin Smith metanivek
CTO @brilliantorg · previously eng @tarides, CTO @goabstract · fka @kvnsmth

Brilliant Cincinnati

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

Docker Inc Cambridge

@dariusf
Darius Foo dariusf
PhD student @nus-plse

Singapore

@cuihtlauac
Cuihtlauac Alvarado cuihtlauac
Senior Software Engineer at Tarides

Tarides France

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

@elastic Artificial Wonderlands

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

University of Cambridge Cambridge, UK

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@SaySayo
Sayo SaySayo
Open source enthusiast
@makermoekoe
makermoekoe

Dortmund, Germany

@jonludlam
Jon Ludlam jonludlam

@tarides Cambridge, UK