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
@pascutto
Clément Pascutto pascutto

Paris

@z3roai
Ferris z3roai
Rust developer exploring blockchain & AI
@TheAyos
ayoub.agouzoul TheAyos
@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@adgnaf
adgnaf
@shishuron
shishuron
@Connor9994
Connor Connor9994
@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

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

CEA List Paris, France

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

Formal Land Paris

@Gurvan-dev
Gurvan Debaussart Gurvan-dev
Moved to codeberg

France

@ptal
Pierre Talbot ptal
I <3 lattice theory

University of Luxembourg Luxembourg

@valoran-M
Valoran valoran-M
Ocaml <3
@ecleipteon
Luke ecleipteon
Yet Another Italian in London. Researcher at Imperial College London. Safety-critical Systems Security.

Imperial College London London | Napoli

@omasanori
Masanori Ogino omasanori

Japan

@SeshatCZ
SeshatCZ

Czech republic

@kohlivarun5
Varun Kohli kohlivarun5

@bloomberg

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

France

@RemyCiterin
Rémy_Citérin RemyCiterin

ENS Ulm

@Dragon-Fly-02
Dragon_Fly_02 Dragon-Fly-02
Tough times don't last, tough people do.

Edinburgh, United Kingdom

@jasperedratsub1
jasper_VuuzleTV jasperedratsub1
Marketing Sales Representatvie
@ahmadsafirun
ahmadsafirun
@rgn9536903tun
rgn4652638rgn9536903rgn5075169 rgn9536903tun
Ocotocat github rgn score 30 minutes 1 time score20000

guitar co. ld myanmar

@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@cs-t1
Constantin GIERCZAK--GALLE cs-t1
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages

École Normale Supérieure, Paris. Paris

@gabriel-doriath-dohler
gabriel-doriath-dohler
@pjmkrpg
pjmkrpg
@Vertmo
Basile Pesin Vertmo
Associate Professor at Ecole Nationale de l'Aviation Civile (France). Interested in formal methods, reactive languages and interactive theorem provers.

Ecole Nationale de l'Aviation Civile

@NikitaMatckevich
NikitaMatckevich
@XavierShelton
Xavier Shelton XavierShelton

Pasadena,Md

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@marat-curious
Marat marat-curious
@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@cat917
cat917
@canering
eg canering Suspended

Tampa, FL

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

Swansea

@jeromesimeon
Jerome Simeon jeromesimeon

Clause, Inc. New York

@adrieng
Adrien Guatto adrieng

France

@jahierwan
Erwan Jahier jahierwan
@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@virandre
Virgile Andreani virandre

École normale supérieure Paris

@seanjensengrey
seanjensengrey

Alpha Quadrant

@UnixJunkie
François Bérenger UnixJunkie
Cheminformatician

Applied Cheminformatics International Cambridge, UK

@hai-nguyen-van
Hai Nguyen Van hai-nguyen-van
Satellite Telecom Engineer

Eutelsat OneWeb