Skip to content
View Drup's full-sized avatar
221 followers · 20 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@mirage @ocsigen @termite-analyser @ocaml-community

Block or report Drup

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
@art-santos
Arthur Santos art-santos
Learning Go and Effect-ts. Functional and types are the way.

Brazil

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

Formal Land Paris

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@slegrand45
Stéphane Legrand slegrand45

Orléans, France

@NewMetaverse
NewMetaverse
@Firobe
Virgile Robles Firobe

@tarides France

@wonao7033
wonao7033
@diogomqbm
Diogo Mafra diogomqbm
👋 🐫 🦀

@teamwalnut Brazil

@marceloavf
Marcelo Formentão marceloavf

Brazil

@mooreryan
Ryan Moore mooreryan
Bioinformatics data science PhD, viral ecologist, & basketball nerd

University of Delaware Newark, DE

@rsmelo92
Rafael Melo rsmelo92
Software Engineer cursed by JavaScript

Brazil - Salvador - Bahia

@celsobonutti
celso celsobonutti
hey i'm celso | i write haskelly things in my day job

@NoRedInk Salvador, Bahia

@Tim-ats-d
Tim ats Tim-ats-d

@Psi-Prod France, Lyon

@fersilva16
Fernando Silva fersilva16
Full Stack Developer

@firefliesai Minas Gerais, Brazil

@MatheusBBarni
Matheus B. Barni MatheusBBarni
Fullstack Engineer and FP enthusiast.

Digibee Brusque - SC, Brazil

@d3v3l0
d3v3l0

Munich

@aresbit
aresbit
@joseemds
José Eduardo Monteiro joseemds
just an abstraction
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@dunnl
Lawrence Dunn dunnl
@kohlivarun5
Varun Kohli kohlivarun5

@bloomberg

@ortolanrj
Raph ortolanrj
Software Engineer Intern - CS @ UERJ

Rio de Janeiro

@tomhoule
Tom Houlé tomhoule
They're Good Abstractions Brent

@zed-industries Berlin, DE

@oteku
Thomas Haessle oteku

@Marigold Lille

@brnrdog
Bernardo Gurgel brnrdog

@betterup Amsterdam, Netherlands

@a-nikolaev
Alexey Nikolaev a-nikolaev
@timothyklim
timothy timothyklim
@esin
Andrey Esin esin
Linux Administrator, DevOps Engineer and Go Developer
@nikivdev
Nikita nikivdev
@m-onz
m-onz m-onz
monz woz ere
@poga
Poga Po poga

Taiwan

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@milvi
milvi milvi
whatever
@blipp
Benjamin Lipp blipp
Cryptography Research and Development @rosenpass • Security Engineering Consultant @AlterSolutions • Former Post-Doc at MPI-SP • PhD from @INRIA

@Rosenpass Germany

@tomzhang
mingfeng.zhang tomzhang
all things distributed

beijing china

@white3
Menzel3 white3
@honeyspoon
Abderahmane Bouziane honeyspoon

Montreal

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

@ahrefs Barcelona

@saifnoorprottoy
Saif Noor Prottoy ⚔️ saifnoorprottoy
Security Researcher by Day, Stealth Founder by Night or vice versa saifnoorprottoy@infosec.exchange

Milky Way

@jfrolich
Jaap Frolich jfrolich

Singapore

@broerjuang
Juang Wiantoro broerjuang
A civil engineer turns to be a web dev
@jlsjefferson
jlsjefferson
System developer 🤖

Contagem-MG

@abhi18av
Abhinav Sharma abhi18av
Genomics | Data Science | Azure

@biosharp-dotnet Cape Town, South Africa

@jq2
Danny Caroline jq2
Self-taught AI researcher and hacker (A.K.A Real Programmer)
@NeoChow
NeoChow NeoChow
iOS developer, experienced in Android & Golang

Tokyo, Japan

@siammay
siammay
@jedsada-gh
Jedsada Tiwongvorakul jedsada-gh

Chiang Mai

@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

@austindd
Austin Davis austindd
Hobbies: - Rock climbing - Hiking - Programming with functions

Colorado