[Inactive] API to measure and eliminate carbon emissions.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Ping enables international contractors and freelancers to have access to a personal Dollar account in the US