Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
atsuma is a developer tool for building applications on top of real-time blockchain data.
All-in-one Platform to Manage Your Crypto Treasury
Coinrule Catches the Next Market Opportunity on Your Behalf by Automating Your Investments.