Alterya

[Inactive] API to measure and eliminate carbon emissions.

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

DolarApp allows LatAm inhabitants (starting with México) to dollarize their everyday finances.