Helicarrier (prev Buycoins)

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

Stackup is a suite of open-source developer tools for building user-friendly blockchain products. It starts with ERC-4337 infrastructure.

UpBanx is Brex for D2C brands and content creators in Indonesia.