Skip to content

@reilabs Reilabs

@HP2706
HP2706
@tlkahn
Leo tlkahn
This is the way. I have spoken.

Olympus Mons, Mars

@jtcoolen
Julien Coolen jtcoolen
Cryptography Engineer, R&D

Nomadic Labs Paris, France

@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@piotr-roslaniec
piotr-roslaniec
rust but verify
@batmendbar
Batmend Batsaikhan batmendbar
@Vid201
Vid Kersic Vid201

@lutralabs, @blockchain-lab-um Maribor, Slovenia

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

Swansea

@LetsGetKinKi
Kinzi Roze LetsGetKinKi
I’m Kinzi Roze! Keep Up w Me! I Keep it KinKy!

Kinzi Roze Las Vegas, Nevada, USA

@cryptonerdcn
cryptonerdcn cryptonerdcn

Tokyo

@eloi010
Eloi Manuel eloi010
Cybersecurity and Blockchain enthusiast.

Barcelona

@kurtpan666
Kurt Pan kurtpan666
A Crypto Primitive

@ZKPunk-org Cryptomania

@iamrecursion
Ara Adkins iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.

CTO & CFO @tactile-metrology, Principal Engineer @reilabs Denver, CO, USA

@Chisaaato
Chisaaato