Skip to content

@informalsystems Informal Systems

Change the repository type filter

All

    Repositories list

    189 repositories

    • ibc-starknet

      Public
      Integration of IBC with Starknet
      rustcairocosmostendermintibcstarknet
      Cairo
      •
      Apache License 2.0
      •4•21•31•3•Updated Aug 9, 2025Aug 9, 2025

    • quartz

      Public
      Secure SGX Sidecar for CosmWasm
      Rust
      •
      Apache License 2.0
      •6•44•51•4•Updated Aug 8, 2025Aug 8, 2025

    • malachite

      Public
      Flexible BFT consensus engine in Rust
      rustconsensusbfttendermintmalachite-engine
      Rust
      •
      Apache License 2.0
      •44•257•71•12•Updated Aug 8, 2025Aug 8, 2025

    • cometbft

      Public
      Fork of CometBFT for easier work inside the company
      Go
      •
      Apache License 2.0
      •659•0•0•1•Updated Aug 8, 2025Aug 8, 2025

    • hydro

      Public
      A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
      Rust
      •
      Apache License 2.0
      •5•10•12•4•Updated Aug 8, 2025Aug 8, 2025

    • hydro-bid-descriptions

      Public
      This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
      1•1•0•1•Updated Aug 8, 2025Aug 8, 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
      •85•972•222•7•Updated Aug 8, 2025Aug 8, 2025

    • hermes

      Public
      IBC Relayer in Rust
      blockchaincosmostendermintibcrust
      Rust
      •
      Apache License 2.0
      •388•484•179•38•Updated Aug 7, 2025Aug 7, 2025

    • malachite-mempool

      Public
      A production-ready mempool ready to be used with Malachite BFT Consensus Engine
      malachite-engine
      Apache License 2.0
      •0•1•0•1•Updated Aug 7, 2025Aug 7, 2025

    • malaketh-turbo

      Public
      malachite-engine
      Rust
      •
      Apache License 2.0
      •6•16•0•0•Updated Aug 6, 2025Aug 6, 2025

    • malaketh-layered

      Public
      Malachite as consensus engine for Ethereum execution clients via Engine API
      malachite-engine
      Rust
      •
      Apache License 2.0
      •7•14•1•5•Updated Aug 6, 2025Aug 6, 2025

    • starknet-interop

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 6, 2025Aug 6, 2025

    • madara

      Public
      Madara is a powerful hybrid Starknet client written in Rust.
      Rust
      •
      Apache License 2.0
      •74•0•0•0•Updated Aug 6, 2025Aug 6, 2025

    • beacon-kit

      Public
      A modular framework for building EVM consensus clients ⛵️✨
      Go
      •
      Other
      •244•0•0•1•Updated Aug 6, 2025Aug 6, 2025

    • audits

      Public
      Security Audits by Informal Systems
      TLA
      •
      Apache License 2.0
      •3•19•0•1•Updated Aug 5, 2025Aug 5, 2025

    • valence-protocol

      Public
      A trust-minimized cross-chain execution environment.
      Rust
      •
      Apache License 2.0
      •10•0•0•0•Updated Aug 5, 2025Aug 5, 2025

    • decaf377-rdsa

      Public
      `decaf377-rdsa` is a randomizable signature scheme using the `decaf377` group.
      Rust
      •3•0•0•0•Updated Aug 5, 2025Aug 5, 2025

    • hermes-sdk

      Public
      Rust
      •
      Apache License 2.0
      •12•45•41•9•Updated Aug 4, 2025Aug 4, 2025

    • penumbra

      Public
      Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
      Rust
      •
      Apache License 2.0
      •357•0•0•2•Updated Aug 4, 2025Aug 4, 2025

    • poseidon377

      Public
      An instantiation of the Poseidon hash for use with decaf377
      Rust
      •
      Other
      •12•0•0•0•Updated Aug 4, 2025Aug 4, 2025

    • tmkms-cometbft

      Public
      CometBFT KMS: Key Management System for CometBFT Validators
      validatorskey-management-servicecometbft
      Rust
      •
      Apache License 2.0
      •136•1•2•0•Updated Aug 4, 2025Aug 4, 2025

    • monad-spec

      Public
      MonadBFT formal specification in Quint
      Bluespec
      •
      Apache License 2.0
      •0•2•0•0•Updated Jul 31, 2025Jul 31, 2025

    • batch_ed25519_prover

      Public
      RISC0 project for verifying a batch of ed25519 signatures
      Rust
      •
      Apache License 2.0
      •0•3•0•0•Updated Jul 22, 2025Jul 22, 2025

    • Alpenglow-spec

      Public
      Quint specification of Alpenglow consensus
      Bluespec
      •1•0•0•0•Updated Jul 21, 2025Jul 21, 2025

    • timewave-vault-quint-spec

      Public
      Quint spec of one way vault for rounding analysis
      Bluespec
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 13, 2025Jul 13, 2025

    • across-protocol-relayer

      Public
      Relayer bot for across v3
      TypeScript
      •
      GNU Affero General Public License v3.0
      •81•0•0•0•Updated Jul 11, 2025Jul 11, 2025

    • sequencer

      Public
      Rust
      •
      Apache License 2.0
      •58•0•0•2•Updated Jul 11, 2025Jul 11, 2025

    • ibc-rs

      Public
      Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
      rustblockchaincosmostendermintibc
      Rust
      •
      Apache License 2.0
      •100•222•90•25•Updated Jul 10, 2025Jul 10, 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 Jul 10, 2025Jul 10, 2025

    • quint-sandbox

      Public
      Material used in interactive demos and tutorials
      Bluespec
      •
      Apache License 2.0
      •0•4•0•0•Updated Jul 8, 2025Jul 8, 2025