22 Watchlists
Blockchain Infrastructure
Status
Informal Systems make formal methods technology more accessible by developing tools and processes to improve the quality and experience of software engineering. Informal Systems are a core developer of the Cosmos Network, where Informal Systems focus on sovereign, interoperable, collaborative technologies to empower more sustainable communities.
LayerZero
$ 4.71
Arbitrum
$ 0.728
Wormhole
$ 0.291
Aptos
$ 6.97
Sui
$ 0.788
Optimism
$ 1.74
Ethena
$ 0.466