Input Output
Users following input-output-hk
Kangfeng Ye
RandallYe
Formal Methods Engineer in IOG. My interests include formal specification and verification for concurrent systems, and probabilistic systems.
https://www.iog.io/
Monis Tahir
monis-tahir
Lazy guy building automations for himself and others in need.
Aseelah Technologies Dammam
Nikhil Shetty
nikhils9
Smart Contracts Developer - Cardano
(Writing scripts which are privileged enough to control wealth)
Nikhil Rindhe
vcryptonick3
Web3 and Dapp Builder ,Working from 2014 in IT Industry and from 2015 in Web3
FOUNDER & CEO VIOTX UMBRELLA HOLDING GROUP PUNE
Hoang Phan
hoangpq
Digital craftsman | Technical Consultant | Clojurist | Haskeller
Developer Avocados
Suradet PS
pharmacist-sabot
Pharmacist with a passion for coding and continuous learning, always seeking innovative solutions at the intersection of healthcare and technology.
Thailand
Maximiliano Biandratti
biandratti
Scala | Rust | Type systems that make sense
@riskident Bochum, Germany
Iliyan Germanov
ILIYANGERMANOV
Co-founder of @Ivy-Apps | All things AI & Kotlin | Maintainer of Ivy Wallet
@Ivy-Apps Sofia, Bulgaria
DOVE DIAZ
dovesvisions
neurodiverse reader + artist, 🧠 🖼️ nightforce recruit 🕛 + insight + creation where awareness becomes art 💡 👁️ 🎨 {☉ ♒︎ - ☽ ♈︎ - ↑ ♋︎}
Daniel F. Leston
dfleston
Spanish builder in Africa.
#Open, #sustainable, #sovereign.
2026 focus: DPIN,AI, Bitcoin/LN.
Past: Ventures/PE, IBMer, Googler, EYer, 4Flower
Spain
Haruki Kondo
mashharuki
Web3やAI、AWSなど幅広く勉強中。学生時代はヨット部に所属しており4年間江ノ島の海で活動していました。
情報処理安全確保支援士 第022981号
Japan
PreviousNext