Skip to content
View ebuchman's full-sized avatar
🌲
Building Cosmos
🌲
Building Cosmos
633 followers · 25 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@cosmos @informalsystems @cometbft

Block or report ebuchman

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • blog Public

    Shell 1 Updated Dec 14, 2024

  • CIPs-1 Public

    Forked from celestiaorg/CIPs
    Creative Commons Zero v1.0 Universal Updated Jan 24, 2024

  • tanuki Public

    Tanuki's Debut Album

    8 Updated Sep 14, 2023

  • ics23 Public

    Forked from cosmos/ics23

    Building generic merkle proof format for IBC

    JavaScript Other Updated Oct 8, 2022

  • liquidity-staking-module Public

    Forked from iqlusioninc/liquidity-staking-module
    Go Other Updated May 18, 2022

  • bounties Public

    Forked from microtick/bounties
    Shell MIT License Updated Mar 10, 2021

  • resume Public

    Forked from mszep/pandoc_resume

    The Markdown Resume

    TeX 1 MIT License Updated Dec 29, 2020

  • crypto-ecosystems Public

    Forked from electric-capital/crypto-ecosystems

    A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

    Rust 1 MIT License Updated Dec 18, 2020

  • gosec Public

    Forked from securego/gosec

    Golang security checker

    Go 1 Apache License 2.0 Updated Dec 1, 2020

  • governance Public

    Forked from cosmos/governance

    Resources for Cosmos governance

    Creative Commons Zero v1.0 Universal Updated Oct 31, 2020

  • practical-fm Public

    Forked from ligurio/practical-fm

    A gently curated list of companies using verification formal methods in industry

    Updated Oct 12, 2020

  • Open-Grants-Program Public

    Forked from w3f/Grants-Program

    Web3 Foundation Open Grants Program

    Apache License 2.0 Updated Sep 16, 2020

  • rates Public

    Calculate exchange rates

    Shell 1 Updated Apr 15, 2019

  • got Public

    For things to do with git and go

    Go 3 Updated Apr 27, 2017

  • terraforce Public

    SSH and SCP for terraform infrastructure

    Go Apache License 2.0 Updated Apr 2, 2017

  • thesis Public

    TeX 19 6 Updated Mar 28, 2017

  • ethsign Public

    Sign ethereum transactions

    Go Updated Mar 16, 2017

  • fail-test Public

    Go Apache License 2.0 Updated Mar 3, 2017

  • understanding_ethereum_trie Public

    Python 121 39 Updated Oct 23, 2016

  • eth-client Public

    Forked from dbabits/eth-client

    Command line interfaces for low-level conversations with ethereum chains

    Go GNU General Public License v3.0 Updated Jul 9, 2016

  • Bacteria Public

    pillae driven bacterial motility

    C Updated May 17, 2016

  • etcd-launch Public

    Launch a TLS secured etcd cluster over docker-machine

    Shell 1 GNU General Public License v3.0 Updated Feb 3, 2016

  • pi2go Public

    Compile pi calculus expressions to golang

    Go 2 GNU General Public License v3.0 Updated Jan 24, 2016

  • slmc Public

    Examples of pi-calculus processes and their properties using the Spatial Logic Model Checker

    OCaml GNU General Public License v3.0 Updated Jan 19, 2016

  • gopi Public

    pi calculus in golang

    Go 1 GNU General Public License v3.0 Updated Oct 19, 2015

  • bloke Public

    golang blog/webpage generator with ajax bubbles

    Go 4 1 MIT License Updated Oct 7, 2015

  • new-server Public

    Simple and secure setup for a new server

    Shell 6 2 Updated Sep 28, 2015

  • theano-rnn Public

    Forked from gwtaylor/theano-rnn

    Demonstration of recurrent neural network implemented with Theano

    Python BSD 3-Clause "New" or "Revised" License Updated Jul 13, 2015

  • shit-harper-did Public

    To document how Stephan Harper is the worst Prime Minister in Canadian history

    HTML 4 Updated Jul 2, 2015

  • pharrell Public

    parallel ssh and scp in golang

    Go 9 6 Updated Apr 25, 2015