Skip to content

@informalsystems Informal Systems

Change the repository type filter

All

    Repositories list

    159 repositories

    • hydro

      Public
      Hydro (aka AtomWars) project repo
      Rust
      •
      Apache License 2.0
      •3•7•19•1•Updated Feb 25, 2025Feb 25, 2025

    • ibc-starknet

      Public
      Integration of IBC with Starknet
      rustcairocosmostendermintibcstarknet
      Rust
      •
      Apache License 2.0
      •3•14•54•3•Updated Feb 25, 2025Feb 25, 2025

    • malachite

      Public
      Flexible BFT consensus engine in Rust
      rustconsensusbfttendermintmalachite-engine
      Rust
      •
      Apache License 2.0
      •19•205•70•12•Updated Feb 24, 2025Feb 24, 2025

    • hermes-sdk

      Public
      Rust
      •
      Apache License 2.0
      •8•28•37•5•Updated Feb 24, 2025Feb 24, 2025

    • deployment-tracking

      Public
      Go
      •
      MIT License
      •0•0•0•2•Updated Feb 24, 2025Feb 24, 2025

    • cycles-sandbox

      Public
      A playground for Cycles demos, experiments and prototypes.
      Rust
      •0•3•5•6•Updated Feb 23, 2025Feb 23, 2025

    • hydro-bid-descriptions

      Public
      This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
      1•1•0•0•Updated Feb 22, 2025Feb 22, 2025

    • quint

      Public
      An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
      languageverificationspecificationformal-methodstlaplusquintapalache
      TypeScript
      •
      Apache License 2.0
      •40•869•223•9•Updated Feb 21, 2025Feb 21, 2025

    • cycles-quartz

      Public
      Secure SGX Sidecar for CosmWasm
      Rust
      •
      Apache License 2.0
      •5•32•39•3•Updated Feb 20, 2025Feb 20, 2025

    • stakooler

      Public
      The koolest tool for Cosmos stakers
      cosmosstaking
      Go
      •
      Apache License 2.0
      •0•4•7•2•Updated Feb 20, 2025Feb 20, 2025

    • libp2p-dog

      Public
      Rust implementation of the Dynamic Optimal Graph protocol for libp2p
      Rust
      •1•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • hermes

      Public
      IBC Relayer in Rust
      blockchaincosmostendermintibcrust
      Rust
      •
      Apache License 2.0
      •361•463•167•18•Updated Feb 17, 2025Feb 17, 2025

    • ibc-rs

      Public
      Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
      rustblockchaincosmostendermintibc
      Rust
      •
      Apache License 2.0
      •98•217•87•20•Updated Feb 17, 2025Feb 17, 2025

    • hermes-api-doc

      Public
      Generated Rustdoc for the hermes relayer
      HTML
      •
      Other
      •1•0•1•0•Updated Feb 17, 2025Feb 17, 2025

    • beacon-kit

      Public
      A modular framework for building EVM consensus clients ⛵️✨
      Go
      •
      Other
      •210•0•0•0•Updated Feb 13, 2025Feb 13, 2025

    • cosmos.nix

      Public
      A reproducible package set for Cosmos, IBC and CosmWasm
      Nix
      •
      MIT License
      •13•59•4•5•Updated Feb 5, 2025Feb 5, 2025

    • cosmwasm-ibc

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

    • starknet-p2p-specs

      Public
      Specification of P2P protocol for StarkNet nodes
      30•0•0•0•Updated Jan 30, 2025Jan 30, 2025

    • rust-libp2p

      Public
      The Rust Implementation of the libp2p networking stack.
      Rust
      •
      MIT License
      •1k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

    • neutron_astroport_adapter

      Public
      An adapter for Hydro to use pools for Astroport on Neutron.
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

    • hydro-fund-calculation

      Public
      Go
      •0•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • tendermint-rs

      Public
      Client libraries for Tendermint/CometBFT in Rust!
      rusttendermintlight-clientcometbft
      Rust
      •
      Apache License 2.0
      •231•628•154•14•Updated Dec 24, 2024Dec 24, 2024

    • audits

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

    • cosmos-sdk

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

    • left-curve

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

    • hermes-sdk-website

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

    • babylon-fp

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

    • celestia-app

      Public
      Celestia consensus node
      Go
      •
      Apache License 2.0
      •383•0•0•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