Coinrule

atsuma is a developer tool for building applications on top of real-time blockchain data.

Poko enables seamless transfers from local payment rails to web3 infrastructure enabling web3 wallets, marketplaces, games and DApps

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