self-driving rc
custom ide for formal proofs
semantic search for memories
smart contract compiler for starknet
sponsorships, events & tech for competitions
drone photography and videography