JimLarson

JimLarson's Stars

• evmos/evmos

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

  Language:Go1.7k187230863

• osmosis-labs/osmosis

  The AMM Laboratory

  Language:Go893442.3k595

• informalsystems/quint

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

  Language:TypeScript8292370235

• Agoric/agoric-sdk

  monorepo for the Agoric Javascript smart contract platform

  Language:JavaScript327284.6k207

• strangelove-ventures/interchaintest

  e2e testing framework for the interchain

  Language:Go1918214123

• Stride-Labs/stride

  Stride: Multichain Liquid Staking

  Language:Go18710109205

• axelarnetwork/axelar-core

  Axelar: A Decentralized Blockchain Interoperability Network

  Language:Go16248553119

• agoric-labs/cosmos-sdk

  :chains: A Framework for Building High Value Public Blockchains :sparkles:

  Language:Go2200