Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Rio lets users buy and sell crypto and stablecoins in 5 minutes or less, using local payment methods in LATAM.
SolStar makes it possible for anyone to use crypto, starting with a Discord integration. It's a platform for creating and organizing token-powered communities powered by Solana.