Skip to content

@informalsystems Informal Systems

Change the repository type filter

All

    Repositories list

    206 repositories

    • hydro

      Public
      A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
      Rust
      •
      Apache License 2.0
      •9•11•13•2•Updated Apr 15, 2026Apr 15, 2026

    • quint

      Public
      An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
      languageverificationspecification
      languageverificationspecificationformal-methodsspecification-languagetlaplusquintapalache
      TypeScript
      •
      Apache License 2.0
      •122•1.3k•227•11•Updated Apr 15, 2026Apr 15, 2026

    • generalised-byzantine-lattice-agreement

      Public
      Quint specs for Generalised Wait Till Safe algorithm from the paper “Byzantine Generalized Lattice Agreement” (Di Luna, Anceaume, Querzoni, 2020)
      Bluespec
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • multisig

      Public
      Painless multisig for many keys across many cosmos-sdk chains
      cryptocurrencycosmosmultisig
      cryptocurrencycosmosmultisigcosmos-sdk
      Go
      •
      Apache License 2.0
      •13•37•17•2•Updated Apr 8, 2026Apr 8, 2026

    • poseidon377

      Public
      An instantiation of the Poseidon hash for use with decaf377
      Rust
      •
      Other
      •13•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • decaf377-rdsa

      Public
      `decaf377-rdsa` is a randomizable signature scheme using the `decaf377` group.
      Rust
      •4•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • hydro-bid-descriptions

      Public
      This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
      1•1•0•1•Updated Mar 31, 2026Mar 31, 2026

    • choreo

      Public
      Choreograph distributed protocols in Quint.
      Bluespec
      •
      Apache License 2.0
      •0•10•0•0•Updated Mar 24, 2026Mar 24, 2026

    • emerald

      Public
      Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.
      blockchainconsensusproof-of-authority
      blockchainconsensusproof-of-authoritydecentralized-applicationstendermint-consensusevm-compatibleethereum-execution-clientmalachite-engine
      Rust
      •
      Apache License 2.0
      •8•25•28•13•Updated Mar 17, 2026Mar 17, 2026

    • dimension-adapters

      Public
      TypeScript
      •1.7k•0•0•0•Updated Mar 16, 2026Mar 16, 2026

    • Zerocash-spec

      Public
      Quint specification of Zerocash
      Bluespec
      •0•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • cycles-overview

      Public
      Jupyter Notebook
      •1•1•0•0•Updated Mar 9, 2026Mar 9, 2026

    • canton-dev-fund

      Public
      Canton Development Fund proposals, reviews, and administration
      160•0•0•0•Updated Mar 6, 2026Mar 6, 2026

    • quint-llm-kit

      Public
      Agents and tools for using Quint with LLMs
      Bluespec
      •
      Apache License 2.0
      •4•56•2•0•Updated Mar 6, 2026Mar 6, 2026

    • yield-server

      Public
      JavaScript
      •1.1k•0•0•0•Updated Mar 2, 2026Mar 2, 2026

    • audits

      Public
      Security Audits by Informal Systems
      TLA
      •
      Apache License 2.0
      •3•21•0•1•Updated Feb 27, 2026Feb 27, 2026

    • penumbra

      Public
      Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
      Rust
      •
      Apache License 2.0
      •361•0•0•2•Updated Feb 26, 2026Feb 26, 2026

    • eth-batch-deposit-ui

      Public
      ETH batch deposit validators
      TypeScript
      •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • informal-kit

      Public
      TypeScript
      •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • quartz

      Public
      Secure SGX Sidecar for CosmWasm
      Rust
      •
      Apache License 2.0
      •9•61•53•2•Updated Feb 24, 2026Feb 24, 2026

    • DefiLlama-Adapters

      Public
      JavaScript
      •7.1k•0•0•0•Updated Jan 30, 2026Jan 30, 2026

    • quint-trace-explorer

      Public
      Interactive TUI for exploring Quint/Apalache ITF traces
      Rust
      •0•7•0•0•Updated Jan 30, 2026Jan 30, 2026

    • unclog

      Public
      Unclog your changelog
      Rust
      •
      Apache License 2.0
      •4•36•7•5•Updated Dec 29, 2025Dec 29, 2025

    • quint-connect

      Public
      A model-based testing framework for Quint + Rust
      Rust
      •
      Apache License 2.0
      •4•45•0•1•Updated Dec 23, 2025Dec 23, 2025

    • malachite

      Public
      Flexible BFT consensus engine in Rust
      Rust
      •
      Apache License 2.0
      •117•9•9•3•Updated Nov 26, 2025Nov 26, 2025

    • hermes-sdk

      Public
      Rust
      •
      Apache License 2.0
      •11•52•41•9•Updated Nov 21, 2025Nov 21, 2025

    • across-protocol-relayer

      Public
      Relayer bot for across v3
      TypeScript
      •
      GNU Affero General Public License v3.0
      •102•0•0•1•Updated Nov 20, 2025Nov 20, 2025

    • cosmoverse25-demo

      Public
      A repository containing useful materials for the Quint Cosmoverse open-spec session "Beyond Thinking Hard"
      Bluespec
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 30, 2025Oct 30, 2025

    • hermes

      Public
      IBC Relayer in Rust
      rustblockchaincosmos
      rustblockchaincosmostendermintibc
      Rust
      •
      Apache License 2.0
      •401•496•183•38•Updated Oct 29, 2025Oct 29, 2025

    • deployment-tracking

      Public
      Go
      •
      MIT License
      •0•0•2•1•Updated Oct 23, 2025Oct 23, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.