Canopi

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

RoverX is a NFT alerts and notifications tool for mobile.

Ping enables international contractors and freelancers to have access to a personal Dollar account in the US