United States

Fawad Haider

Advanced
@FawadHa1der

Lean, cuda, solidity, rust, C/C++, java script and English. Open water swimming maximalist

ricks-cairo-contracts. RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism

27

evm_proof_checker. Lean proof kernel in solidity

2

Bitsliced_multiply_binius. 64 bit tower field multiply bit sliced

1
3
Apply