Projects

Boat

self-driving rc

Axiom

custom ide for formal proofs

Portal

semantic search for memories

Blocks

smart contract compiler for starknet

Crowdfund

crypto trading w/ ai agents

VOffice

vr coworking spaces