GitHub / informalsystems 127 Repositories
informalsystems/malachite
Flexible BFT consensus engine in Rust
Language: Rust - Size: 5.51 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 231 - Forks: 26
informalsystems/sequencer Fork of starkware-libs/sequencer
Size: 57.5 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
informalsystems/quartz
Secure SGX Sidecar for CosmWasm
Language: Rust - Size: 1.95 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 41 - Forks: 5
informalsystems/left-curve Fork of left-curve/left-curve
Left curve monorepo
Language: Rust - Size: 41.2 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
informalsystems/snapchain-e2e Fork of farcasterxyz/snapchain
The open-source, canonical implementation of Farcaster's Snapchain network.
Language: Rust - Size: 2.81 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
informalsystems/cometbft Fork of cometbft/cometbft
Fork of CometBFT for easier work inside the company
Language: Go - Size: 250 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
informalsystems/beacon-kit Fork of berachain/beacon-kit
A modular framework for building EVM consensus clients ⛵️✨
Language: Go - Size: 93.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
informalsystems/cosmos.nix
A reproducible package set for Cosmos, IBC and CosmWasm
Language: Nix - Size: 1.07 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 59 - Forks: 16
informalsystems/gm
Tool to manage local gaiad instances - without docker
Language: Shell - Size: 95.7 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 13 - Forks: 8
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language: TypeScript - Size: 65.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 929 - Forks: 63
informalsystems/hermes-api-doc
Generated Rustdoc for the hermes relayer
Language: HTML - Size: 2.34 GB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1
informalsystems/ibc-rs
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
Language: Rust - Size: 21.5 MB - Last synced at: 3 days ago - Pushed at: 27 days ago - Stars: 222 - Forks: 100
informalsystems/hydro-bid-descriptions
This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
Size: 559 KB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 1
informalsystems/ibc-starknet
Integration of IBC with Starknet
Language: Rust - Size: 2.51 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 19 - Forks: 4
informalsystems/modelator
Model-based testing tool
Language: Python - Size: 334 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 58 - Forks: 5
informalsystems/hermes
IBC Relayer in Rust
Language: Rust - Size: 33 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 479 - Forks: 380
informalsystems/hermes-sdk
Language: Rust - Size: 22 MB - Last synced at: 1 day ago - Pushed at: 13 days ago - Stars: 36 - Forks: 12
informalsystems/audits
Security Audits by Informal Systems
Language: TLA - Size: 14.2 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 17 - Forks: 3
informalsystems/hydro
A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
Language: Rust - Size: 16.8 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 10 - Forks: 4
informalsystems/starknet-devnet Fork of 0xSpaceShard/starknet-devnet
A local testnet for Starknet... in Rust
Language: Rust - Size: 4.49 MB - Last synced at: 1 day ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
informalsystems/atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Language: Python - Size: 1.18 MB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 84 - Forks: 10
informalsystems/valence-protocol Fork of timewave-computer/valence-protocol
A trust-minimized cross-chain execution environment.
Language: Rust - Size: 5.23 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
informalsystems/deployment-tracking
Language: Go - Size: 105 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
informalsystems/modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Language: Python - Size: 68.7 MB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 28 - Forks: 3
informalsystems/noir-ecies
Language: Roff - Size: 4.88 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
informalsystems/itf-rs
Rust library for consuming Apalache ITF traces
Language: Rust - Size: 147 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1
informalsystems/libp2p-dog
Rust implementation of the Dynamic Optimal Graph protocol for libp2p
Language: Rust - Size: 390 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1
informalsystems/basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
Language: Rust - Size: 1.63 MB - Last synced at: 25 days ago - Pushed at: 6 months ago - Stars: 58 - Forks: 17
informalsystems/malaketh-turbo
Language: Rust - Size: 376 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
informalsystems/snapchain Fork of farcasterxyz/snapchain
snapchain prototype
Size: 1.23 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
informalsystems/cycles-sandbox
A playground for Cycles demos, experiments and prototypes.
Language: Rust - Size: 508 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
informalsystems/.github
Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
informalsystems/neutron-dex-quint-model Fork of neutron-org/dex-quint-model
Size: 659 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
informalsystems/stakooler
The koolest tool for Cosmos stakers
Language: Go - Size: 356 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0
informalsystems/cosmwasm-ibc
Facilities for implementing ibc-rs-powered light clients and applications as CosmWasm contracts.
Language: Rust - Size: 175 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1
informalsystems/rust-libp2p Fork of libp2p/rust-libp2p
The Rust Implementation of the libp2p networking stack.
Language: Rust - Size: 14.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
informalsystems/neutron_astroport_adapter
An adapter for Hydro to use pools for Astroport on Neutron.
Language: Rust - Size: 143 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
informalsystems/hydro-fund-calculation
Language: Go - Size: 6.84 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
informalsystems/CometMock
Drop-in replacement for CometBFT in end-to-end tests
Language: Go - Size: 438 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 24 - Forks: 2
informalsystems/celestia-app Fork of celestiaorg/celestia-app
Celestia consensus node
Language: Go - Size: 10 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
informalsystems/hermes-ethereum-relayer
Ehtereum IBC relaying support using Hermes SDK
Language: Rust - Size: 158 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
informalsystems/sol-e2e
E2E Testing of Ethereum Beacon API
Language: Rust - Size: 261 KB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
informalsystems/tower-abci Fork of penumbra-zone/tower-abci
Tower-based ABCI interface.
Language: Rust - Size: 85 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
informalsystems/starknet-p2p-specs Fork of starknet-io/starknet-p2p-specs
Specification of P2P protocol for StarkNet nodes
Size: 94.7 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
informalsystems/atomkraft-cosmos
Language: TLA - Size: 839 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1
informalsystems/kvstore-plus-plus
KVStore++ is an ABCI application that can be used for testing with multiple CometBFT releases
Language: Go - Size: 58.6 KB - Last synced at: 12 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
informalsystems/eth-batch-deposit-ui
ETH batch deposit validators
Language: TypeScript - Size: 124 MB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
informalsystems/kit Fork of go-kit/kit
A standard library for microservices.
Language: Go - Size: 7 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
informalsystems/schema Fork of adlio/schema
Embedded schema migration package for Go
Language: Go - Size: 200 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
informalsystems/unclog
Unclog your changelog
Language: Rust - Size: 462 KB - Last synced at: 26 days ago - Pushed at: 7 months ago - Stars: 36 - Forks: 4
informalsystems/afero Fork of spf13/afero
A FileSystem Abstraction System for Go
Language: Go - Size: 337 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
informalsystems/babylon-btcstaking-ui Fork of babylonchain/simple-staking
Babylon staking application
Language: TypeScript - Size: 3.27 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
informalsystems/networks Fork of babylonlabs-io/networks
Language: Go - Size: 709 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
informalsystems/cosmos-rust Fork of cosmos/cosmos-rust
The home of all shared Rust resources for the Cosmos ecosystem.
Language: Rust - Size: 1.99 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
informalsystems/eth-staking-smith Fork of ChorusOne/eth-staking-smith
Ethereum 2.0 deposit CLI / library
Language: Rust - Size: 245 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
informalsystems/tmkms Fork of iqlusioninc/tmkms
Tendermint KMS: Key Management System for Tendermint Validators
Language: Rust - Size: 2.65 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
informalsystems/drop-contracts Fork of hadronlabs-org/drop-contracts
Drop is an integrated cross-chain liquid staking protocol
Size: 9.69 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
informalsystems/quint-sandbox
Material used in interactive demos and tutorials
Language: Bluespec - Size: 152 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0
informalsystems/hermes-sovereign-relayer 📦
IBC Relayer for Sovereign SDK, powered by Hermes SDK
Language: Rust - Size: 19.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
informalsystems/wasmd Fork of CosmWasm/wasmd
Basic cosmos-sdk app with web assembly smart contracts
Language: Go - Size: 22.5 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1
informalsystems/tm-load-test
tm-load-test tool - Tendermint load test application
Language: Go - Size: 673 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 45 - Forks: 30
informalsystems/tendermint Fork of tendermint/tendermint
A temporary fork of the original Tendermint Core repository (please use CometBFT instead)
Language: Go - Size: 143 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 13
informalsystems/cosmwasm-to-quint
Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Language: Rust - Size: 500 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 12 - Forks: 1
informalsystems/quint_awesomwasm24_workshop
Language: Bluespec - Size: 58.6 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 1
informalsystems/attestation Fork of mobilecoinfoundation/attestation
SGX Enclave Attestation Report Verification
Language: Rust - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/multisig
Painless multisig for many keys across many cosmos-sdk chains
Language: Go - Size: 330 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 35 - Forks: 10
informalsystems/sov-rollup-starter
Language: Rust - Size: 733 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
informalsystems/sovereign-ibc
Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
Language: Rust - Size: 6.22 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 4
informalsystems/sovereign-test-rollup
Test rollup built with Sovereign SDK with IBC integration
Language: Rust - Size: 51.8 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
informalsystems/risc0 Fork of risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Size: 58.4 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
informalsystems/relayer-no-gas-sim Fork of cosmos/relayer
A fork of the IBC relayer for ibc-go, which leaves out the gas cost
Language: Go - Size: 13.8 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
informalsystems/quint-ml-experiments
Language: F* - Size: 131 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1
informalsystems/neutron-integration-tests-audit-internal
Language: TypeScript - Size: 17 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/quasm
Exploration of language connections between Quint and Cosmwasm
Language: Shell - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
informalsystems/feemarket Fork of skip-mev/feemarket
Plug-and-play fee market module for Cosmos SDK chains
Size: 658 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/ed25519-consensus Fork of penumbra-zone/ed25519-consensus
Ed25519 suitable for use in consensus-critical contexts.
Language: Rust - Size: 94.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/awesome-noir Fork of noir-lang/awesome-noir
A curated list of awesome things related to learning and programming in Noir.
Size: 227 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/cosmozab Fork of nullmames/cosmozab
Zabbix stuff for Cosmos Nodes
Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/cgp-workshop
Workshop materials for context-generic programming
Language: Rust - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
informalsystems/tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
Size: 115 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 21 - Forks: 5
informalsystems/ics29-fee-tla
Language: TLA - Size: 99.6 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
informalsystems/megablocks
Prototype to investigate an Atomic IBC solution based on Megablocks
Language: Go - Size: 585 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
informalsystems/ignite-blog
Cosmos-SDK blockchain following Ignite's Blog tutorial
Language: TypeScript - Size: 979 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
informalsystems/vscode-itf-trace-viewer
VS Code extension for viewing ITF traces
Language: TypeScript - Size: 201 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
informalsystems/chainpulse 📦
Monitoring tool for IBC relayers
Language: Rust - Size: 215 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2
informalsystems/cosmos-sdk Fork of cosmos/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Language: Go - Size: 538 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
informalsystems/itf-go
Go library for un/marshalling ITF files
Language: Go - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
informalsystems/v4-testnets Fork of dydxprotocol/v4-testnets
Size: 291 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
informalsystems/themis-contract 📦
A command line-based parameterized contracting tool
Language: Go - Size: 869 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 45 - Forks: 4
informalsystems/sovereign-sdk Fork of Sovereign-Labs/sovereign-sdk
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
Language: Rust - Size: 7.66 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
informalsystems/themis-tracer 📦
A tool for managing complex contexts for developing critical systems
Language: Rust - Size: 304 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
informalsystems/partnership-heliax
Language: Bluespec - Size: 426 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
informalsystems/euc
End-user computing for a better user experience
Language: Shell - Size: 231 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 2
informalsystems/pbjson Fork of influxdata/pbjson
Auto-generate serde implementations for prost types
Language: Rust - Size: 235 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
informalsystems/networks-1 Fork of archway-network/networks
Registry of archway public networks
Language: Python - Size: 305 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
informalsystems/mtcs
Multilateral Trade Credit Set-off
Language: Rust - Size: 55.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1
informalsystems/testnets
Various different test network-related configurations for Tendermint
Language: Python - Size: 235 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 15 - Forks: 2
informalsystems/apalache-team-services
Organizing the public-facing services of the Apalache team
Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
informalsystems/cw-debug
Example CW contract to debug CosmWasm testnets
Language: Rust - Size: 25.4 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
informalsystems/namada Fork of anoma/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Language: Rust - Size: 47.6 MB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0