Member of GitHub orgs
informalsystemsShares crates with
romac, greg-szabo, bftbot, mzabaluev, xla, liamsi, tony-iqlusionthanethomson created 8 crates
-
tendermint-light-client-verifier
‼️ 23K Founded in Jan 2022. Last updated 2 months ago. -
tendermint-testgen
‼️ 8.0K Founded in Nov 2020. Last updated 2 months ago. -
tendermint-light-client-js
‼️ Founded in Apr 2021. Last updated 2 months ago. -
tendermint-p2p
‼️ Founded in Nov 2020. Last updated 2 months ago. -
tendermint-abci
‼️ 1.5K Founded in Apr 2021. Last updated 2 months ago. -
tendermint-std-ext
‼️ Founded in Sep 2021. Last updated 2 months ago. -
unclog
Founded in Jun 2021. Last updated 8 months ago. -
tmlcprt
Sole owner since Dec 2022. Last updated 2 years ago.
Co-owns 11 crates
-
tendermint
‼️ 62K Member since Oct 2020 (4 years) -
tendermint-rpc
‼️ 46K Member since Oct 2020 (4 years) -
tendermint-proto
‼️ 75K Member since Oct 2020 (4 years) -
tendermint-light-client
‼️ 14K Member since Oct 2020 (4 years) -
tendermint-config
‼️ 46K Member since Oct 2021 (2 years) -
informalsystems-prost-typesMember since Oct 2021 (3 years) -
tendermint-light-client-detector
‼️ 10K Member since Jul 2023 (a year) -
tendermint-light-client-cli
‼️ Member since Jul 2023 (a year) -
informalsystems-prost-build
Member since Oct 2021 (3 years) -
tendermint-light-node
‼️ Member since Oct 2020 (4 years) -
informalsystems-prost-deriveMember since Oct 2021 (3 years)