Informal Systems

tm-load-test

tm-load-test tool - Tendermint load test application

CometMock

Drop-in replacement for CometBFT in end-to-end tests

tendermint

A temporary fork of the original Tendermint Core repository (please use CometBFT instead)

audits

Security Audits by Informal Systems

gm

Tool to manage local gaiad instances - without docker

vscode-itf-trace-viewer

VS Code extension for viewing ITF traces

megablocks

Prototype to investigate an Atomic IBC solution based on Megablocks

quint-ml-experiments

stakooler

The koolest tool for Cosmos stakers

chainpulse

Monitoring tool for IBC relayers

ibc-go

Interblockchain Communication Protocol (IBC) implementation in Golang.

itf-go

Go library for un/marshalling ITF files

cgp-workshop

Workshop materials for context-generic programming

cosmos-rust

The home of all shared Rust resources for the Cosmos ecosystem.

noir-ecies

partnership-heliax

cofi-public-data

awesome-noir

A curated list of awesome things related to learning and programming in Noir.

bitcoin-prometheus-exporter

Prometheus exporter for Bitcoin Core nodes

conformance-tests

Conformance tests generator + JSON test files

cosmozab

Zabbix stuff for Cosmos Nodes

ed25519-consensus

Ed25519 suitable for use in consensus-critical contexts.

feemarket

Plug-and-play fee market module for Cosmos SDK chains

neutron-integration-tests-audit-internal

pbjson

Auto-generate serde implementations for prost types

quasm

Exploration of language connections between Quint and Cosmwasm

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

sgx

SGX Libraries and Utilities

sovereign-sdk

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

sovereign-test-rollup

Test rollup built with Sovereign SDK with IBC integration