This is your work, valued
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
evm_proof_checker. Lean proof kernel in solidity
Bitsliced_multiply_binius. 64 bit tower field multiply bit sliced