8000 Mbodin (Martin Constantino–Bodin) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Mbodin's full-sized avatar
24 followers · 11 following

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report Mbodin

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
@bpeel
Neil Roberts bpeel
@andrewallenbruce
Andrew Allen Bruce andrewallenbruce
Healthcare Data Analyst

Georgia

@dee-me-tree-or-love
Mitja O dee-me-tree-or-love
👋 Hello there! | Full stack engineer | CS & research enthusiast
@impomatic
John Metcalf impomatic
Programming in Redcode, Forth and assembly.

Lincolnshire, U.K.

@SeshatCZ
SeshatCZ

Czech republic

@NMRXSTone
NeoMarS NMRXSTone
Lost and Found.

2birds / altnativdev Wilder, ID

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@InductiveStep
Andi Fugard InductiveStep

London, UK

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@denis631
Denis Grebennicov denis631

MongoDB Munich, Germany

@smorimoto
Sora Morimoto smorimoto

@ocaml @tc39 San Francisco, CA

@dinosaure
Calascibetta Romain dinosaure

Around the world ...

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@jtcoolen
Julian Coolen jtcoolen
Research Engineer in Cryptography

EY London, England

@meduzen
Mehdi meduzen
Front-end developer, and beyond.

Belgium

@ThomasRuby
ThomasRuby
@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@Inculte
Inculte
@thundree
Thundree thundree
Full-stack developer. I love automating tasks with Python.

Brazil

@MyNameIsTroll
MyNameIsTroll MyNameIsTroll
This is fine!
@rafaelcgs10
Rafael Castro Gonçalves Silva rafaelcgs10

Copenhage - DK

@jvalinsky
Jack Valinsky jvalinsky
@Madeorsk
Madeorsk Madeorsk
French software engineer. Free software enthusiast. I prefer computers to humans.

Zeptotech France

0