88mph
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
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
Chicago, IL
xxs
Hsiang-xxs
👨💻 Shadowy Super-Coder 🥷 | 🌈 🌱 Blockchain, Ethereum, DeFi, DAO, NFT, DApp, Smart Contract, Solidity 🌊 🚀
