Loopring Protocol
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
zilong.dai
zilong-dai
What does when mean?
Rust, C++, Go Developer. ZK Engineer @QEDProtocol
QEDProtocol ShenZhen
MARSUDTSEAL
gogog01-29-2021
QuantreseachAutomation
React Js 20240518 Functinal Programming
Graphql Assetmanagement Java system 2024
C++ Numeric analysis202407
Rust.Haskell.Solidit
ITM MIT
Gavin Zheng
gavinzheng
Enthusiastic in BlockChain Technology.
Full stack developer in Solidity programming, IPFS, ZKP, MPC，NFT, Rust, substrate, Quantitative Finance.白话区块链作者
Toronto, Canada
Phillip Ressler
resslerruntime1983
Hi there. I am a continuing computer science student who would like to learn how to code in multiple languages.
Ressler Runtime Palmdale, California USA
Nikki H
Serenitychic
STILL LEARNING AND ANY REAL HELP WOULD BE GREATLY APPRECIATED. I DONT WANT TOO MAKE ANY MISTAKES. THANK YOU
[email protected] Wisconsin
PreviousNext