⛓️ A Framework for Building High Value Public Blockchains ✨

monorepo for the Agoric Javascript smart contract platform

Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs

Stride: Multichain Liquid Staking

The AMM Laboratory

Axelar: A Decentralized Blockchain Interoperability Network

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

e2e testing framework for the interchain