Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org namespaces: github.com/informalsystems

View the packages within the github.com/informalsystems namespace on the proxy.golang.org package registry, including their maintainers and dependencies.

github.com/informalsystems/tm-db v0.6.7
Common database interface for various database backends for Tendermint Core and Cosmos SDK
16 versions - Latest release: about 3 years ago - 1 dependent repositories - 0 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/gopherator v0.0.1
Modelator's cousin for Golang
1 version - Latest release: over 3 years ago - 5 stars on GitHub
Top 9.9% on proxy.golang.org
github.com/informalsystems/stakooler v0.1.13
The koolest tool for Cosmos stakers
10 versions - Latest release: 8 months ago - 2 stars on GitHub
Top 6.4% on proxy.golang.org
github.com/informalsystems/modelator v0.6.6
Model-based testing tool
12 versions - Latest release: over 2 years ago - 41 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/neat-contract v0.2.4
A command line-based parameterized contracting tool
18 versions - Latest release: over 4 years ago - 42 stars on GitHub
Top 8.9% on proxy.golang.org
github.com/informalsystems/ghere v0.2.0
GitHub repositories, with metadata, over here, on my local machine. Pronounced "gear".
3 versions - Latest release: over 2 years ago - 0 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/conformance-tests v0.0.1
Conformance tests generator + JSON test files
1 version - Latest release: almost 5 years ago - 0 stars on GitHub
github.com/informalsystems/itf-go v0.0.1
Go library for un/marshalling ITF files
1 version - Latest release: over 1 year ago - 0 stars on GitHub
Top 6.3% on proxy.golang.org
github.com/informalsystems/multisig v0.4.2
Painless multisig for many keys across many cosmos-sdk chains
7 versions - Latest release: 6 months ago - 29 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/cosmos-sdk v0.45.1
:chains: A Framework for Building High Value Public Blockchains :sparkles:
213 versions - Latest release: over 3 years ago - 0 stars on GitHub
Top 5.3% on proxy.golang.org
github.com/informalsystems/tendermint v0.35.9
A temporary fork of the original Tendermint Core repository (please use CometBFT instead)
241 versions - Latest release: almost 3 years ago - 73 dependent repositories - 17 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/wasmd v0.45.0
Basic cosmos-sdk app with web assembly smart contracts
69 versions - Latest release: over 1 year ago - 3 stars on GitHub
Top 9.1% on proxy.golang.org
github.com/informalsystems/megablocks
Prototype to investigate an Atomic IBC solution based on Megablocks
Latest release: 28 days ago - 4 stars on GitHub
github.com/informalsystems/CometMock v0.38.0
6 versions - Latest release: over 1 year ago - 11 stars on GitHub
Top 2.8% on proxy.golang.org
github.com/informalsystems/tm-load-test v1.3.0
tm-load-test tool - Tendermint load test application
19 versions - Latest release: over 2 years ago - 210 dependent packages - 71 dependent repositories - 33 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/informalsystems/themis-contract v0.2.4
A command line-based parameterized contracting tool
18 versions - Latest release: over 4 years ago - 42 stars on GitHub
Top 4.1% on proxy.golang.org
github.com/informalsystems/ibc-go v1.2.6 removed
24 versions - Latest release: over 3 years ago