Skip to content
View tbrk's full-sized avatar
48 followers · 101 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Organizations

@inria-parkas

Block or report tbrk

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
@mtelvers
Mark Elvers mtelvers
SRE at University of Cambridge; Principal software engineer @tarides.
@bclement-ocp
Basile Clément bclement-ocp

@OCamlPro Lyon

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

@janestreet Cambridge, UK

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL

@Chaarlesss
Charles de Haro Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

École Normale Supérieure Paris, France

@stedolan
Stephen Dolan stedolan
@gildor478
Sylvain Le Gall gildor478

Zurich

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@pedagand
Pierre-Évariste Dagand pedagand
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@vbgl
Vincent Laporte vbgl
@eponier
Jean-Christophe Léchenet eponier
@ckirsch
Christoph Kirsch ckirsch
Christoph Kirsch is Professor at the Department of Computer Sciences of the University of Salzburg, Austria.

University of Salzburg Salzburg, Austria

@dlesbre
Dorian Lesbre dlesbre
Ph.D. student in computer science, working on program verification and formal methods

CEA List Paris, France

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

IIT Madras and Tarides Chennai, India

@lpw25
Leo White lpw25

Jane Street

@damiendoligez
Damien Doligez damiendoligez

Inria Paris

@ppedrot
Pierre-Marie Pédrot ppedrot
@gadmm
Guillaume Munch-Maccagnoni gadmm
Moved to GitLab

Inria Nantes, France

@sadiqj
Sadiq Jaffer sadiqj

@sadiqj Cambridge, UK

@guillaumeiooss
Guillaume Iooss guillaumeiooss

Paris, France

@Keryan-dev
Keryan Didier Keryan-dev

OCamlPro

@rbonichon
Richard Bonichon rbonichon
@dbuenzli
Daniel Bünzli dbuenzli
@herbelin
Hugo Herbelin herbelin
@lancelet
Jonathan Merritt lancelet
Mostly-functional programmer. BE(Mech) / BSc, PhD in Equine Biomechanics.

Canva Sydney, NSW, Australia

@gmalecha
Gregory Malecha gmalecha

@bluerock-io Boston, MA

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@ecranceMERCE
Enzo Crance ecranceMERCE
Account used to upload code from my PhD thesis at Mitsubishi Electric R&D Centre Europe (Rennes, France) and Inria Gallinette (Nantes, France)
@ybertot
Yves Bertot ybertot

Inria

@mmartel66
Matthieu Martel mmartel66

Université de Perpignan Perpignan, France

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@bitonic
Francesco Mazzoli bitonic

London

@lawrencecpaulson
lawrencecpaulson
@pascutto
Clément Pascutto pascutto

Paris

@OlivierNicole
Olivier Nicole OlivierNicole

OCaml Software Foundation Paris, France

@webalorn
Theophane Vallaeys webalorn
IOI 2015, 2016, 2017 et 2018 (rank 30 at IOI 2018)

France

@RemyCiterin
Rémy_Citérin RemyCiterin

ENS Ulm

@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@gardner48
David Gardner gardner48
Computational Scientist @llnl

Lawrence Livermore National Laboratory, @LLNL Livermore, CA

@charguer
Arthur Charguéraud charguer
@david-broman
David Broman david-broman
David Broman is a full professor at the KTH Royal Institute of Technology in Sweden.

KTH Royal Institute of Technology Stockholm, Sweden

@xrival
Xavier Rival xrival
@mebsout
Alain Mebsout mebsout

@Functori

@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer