Skip to content

@informalsystems Informal Systems

Change the repository type filter

All

    Repositories list

    153 repositories

    • hermes

      Public
      IBC Relayer in Rust
      blockchaincosmostendermintibcrust
      Rust
      •
      Apache License 2.0
      •332•451•160•21•Updated Dec 13, 2024Dec 13, 2024

    • ibc-starknet

      Public
      Integration of IBC with Starknet
      Cairo
      •
      Apache License 2.0
      •1•6•15•2•Updated Dec 13, 2024Dec 13, 2024

    • audits

      Public
      Security Audits by Informal Systems
      TLA
      •
      Apache License 2.0
      •3•15•0•1•Updated Dec 12, 2024Dec 12, 2024

    • cycles-quartz

      Public
      Secure SGX Sidecar for CosmWasm
      Rust
      •
      Apache License 2.0
      •2•23•38•3•Updated Dec 12, 2024Dec 12, 2024

    • hermes-sdk

      Public
      Rust
      •
      Apache License 2.0
      •4•12•35•10•Updated Dec 12, 2024Dec 12, 2024

    • tendermint-rs

      Public
      Client libraries for Tendermint/CometBFT in Rust!
      rusttendermintlight-clientcometbft
      Rust
      •
      Apache License 2.0
      •225•620•154•10•Updated Dec 12, 2024Dec 12, 2024

    • hydro

      Public
      Hydro (aka AtomWars) project repo
      Rust
      •
      Apache License 2.0
      •2•6•17•1•Updated Dec 12, 2024Dec 12, 2024

    • cycles-sandbox

      Public
      A playground for Cycles demos, experiments and prototypes.
      Rust
      •0•3•4•5•Updated Dec 12, 2024Dec 12, 2024

    • stakooler

      Public
      The koolest tool for Cosmos stakers
      cosmosstaking
      Go
      •
      Apache License 2.0
      •0•4•7•2•Updated Dec 11, 2024Dec 11, 2024

    • left-curve

      Public
      Left curve monorepo
      Rust
      •14•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • quint

      Public
      An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
      specificationtlaplusquintapalachelanguage
      TypeScript
      •
      Apache License 2.0
      •36•834•208•11•Updated Dec 10, 2024Dec 10, 2024

    • libp2p-dog

      Public
      Rust implementation of the Dynamic Optimal Graph protocol for libp2p
      0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • hermes-sdk-website

      Public
      HTML
      •0•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • hydro-bid-descriptions

      Public
      This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
      1•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • babylon-fp

      Public
      Go
      •
      Other
      •255•0•0•0•Updated Dec 4, 2024Dec 4, 2024

    • cosmos-sdk

      Public
      ⛓️ A Framework for Building High Value Public Blockchains ✨
      Go
      •
      Apache License 2.0
      •3.7k•0•0•1•Updated Dec 4, 2024Dec 4, 2024

    • cosmos.nix

      Public
      A reproducible package set for Cosmos, IBC and CosmWasm
      Nix
      •
      MIT License
      •11•57•4•6•Updated Dec 4, 2024Dec 4, 2024

    • celestia-app

      Public
      Celestia consensus node
      Go
      •
      Apache License 2.0
      •305•0•0•0•Updated Dec 3, 2024Dec 3, 2024

    • hermes-api-doc

      Public
      Generated Rustdoc for the hermes relayer
      HTML
      •
      Other
      •1•0•1•0•Updated Dec 3, 2024Dec 3, 2024

    • hermes-ethereum-relayer

      Public
      Ehtereum IBC relaying support using Hermes SDK
      Rust
      •
      Apache License 2.0
      •0•0•0•1•Updated Dec 2, 2024Dec 2, 2024

    • sol-e2e

      Public
      E2E Testing of Ethereum Beacon API
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • cosmwasm-ibc

      Public
      Facilities for implementing ibc-rs-powered light clients and applications as CosmWasm contracts.
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 15, 2024Nov 15, 2024

    • tm-load-test

      Public
      tm-load-test tool - Tendermint load test application
      Go
      •
      Apache License 2.0
      •30•45•5•5•Updated Nov 15, 2024Nov 15, 2024

    • basecoin-rs

      Public
      An example ABCI application making use of tendermint-rs and ibc-rs
      tendermintabciibc
      Rust
      •
      Apache License 2.0
      •17•56•36•0•Updated Nov 12, 2024Nov 12, 2024

    • unclog

      Public
      Unclog your changelog
      Rust
      •
      Apache License 2.0
      •4•36•7•5•Updated Nov 11, 2024Nov 11, 2024

    • tower-abci

      Public
      Tower-based ABCI interface.
      Rust
      •
      MIT License
      •27•0•0•0•Updated Nov 8, 2024Nov 8, 2024

    • multisig

      Public
      Painless multisig for many keys across many cosmos-sdk chains
      cryptocurrencycosmosmultisigcosmos-sdk
      Go
      •
      Apache License 2.0
      •10•37•17•0•Updated Nov 8, 2024Nov 8, 2024

    • starknet-p2p-specs

      Public
      Specification of P2P protocol for StarkNet nodes
      29•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • kvstore-plus-plus

      Public
      KVStore++ is an ABCI application that can be used for testing with multiple CometBFT releases
      Go
      •
      Apache License 2.0
      •0•2•0•0•Updated Oct 31, 2024Oct 31, 2024

    • ibc-go

      Public
      Interblockchain Communication Protocol (IBC) implementation in Golang.
      Go
      •
      MIT License
      •609•2•0•1•Updated Oct 14, 2024Oct 14, 2024