Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Helicarrier (previously Buycoins) is building cryptocurrency infrastructure for Africa.
A decentralized finance platform creating end-to-end financial derivatives on blockchains.