Skip to content
Avatar
🤔
Pensive.
🤔
Pensive.
141 followers · 115 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@anoma
Block or Report

Block or report cwgoes

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. cosmos/ibc Public

    Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

    TeX 503 179

  2. anoma/juvix Public

    Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployme…

    Haskell 296 19

  3. wyvernprotocol/wyvern-v3 Public

    Wyvern Protocol v3.1, Ethereum implementation

    JavaScript 171 86

  4. tm-proposer-idris Public

    Formalization of Tendermint proposer election properties

    Idris 15 1

  5. scisco Public

    A privacy-preserving, auditable, distributed voting system.

    Haskell 13 1

  6. cosmos/cosmos-sdk Public

    ⛓️ A Framework for Building High Value Public Blockchains ✨

    Go 3.7k 1.6k

334 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

March 2022

Created 45 commits in 2 repositories
Opened 2 pull requests in 2 repositories
anoma/spec 1 merged
anoma/anoma 1 open
Reviewed 12 pull requests in 3 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.