Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Deepak bhardwaj
iamdeepak199
C++ | Datastructures & Algorithm | Python | JavaScript | Css | Html | Dbms
vivekananda institute of professional studies New Delhi
Matías Agustín Méndez
matagus
I miss the old Github feed / activity stream. @matorral-project | @django-planet #django #python #rust
Chicago, IL
xxs
Hsiang-xxs
👨💻 Shadowy Super-Coder 🥷 | 🌈 🌱 Blockchain, Ethereum, DeFi, DAO, NFT, DApp, Smart Contract, Solidity 🌊 🚀