Monitaur

Helicarrier (previously Buycoins) is building cryptocurrency infrastructure for Africa.

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

Littio is a neobank focused on solving the currency devaluation problem for Latin Americans.