8000 Informal Systems · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@informalsystems

Informal Systems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

Pinned Loading

  1. malachite malachite Public

    Flexible BFT consensus engine in Rust

    Rust 226 22

  2. quint quint Public

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    TypeScript 923 48

  3. quartz quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 41 5

  4. hydro hydro Public

    A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.

    Rust 10 4

  5. hermes hermes Public

    IBC Relayer in Rust

    Rust 478 379

Repositories

Showing 10 of 172 repositories
  • audits Public

    Security Audits by Informal Systems

    informalsystems/audits’s past year of commit activity
    TLA 17 Apache-2.0 3 0 1 Updated May 9, 2025
  • malachite Public

    Flexible BFT consensus engine in Rust

    informalsystems/malachite’s past year of commit activity
    Rust 226 Apache-2.0 22 68 (6 issues need help) 15 Updated May 9, 2025
  • ibc-starknet Public

    Integration of IBC with Starknet

    informalsystems/ibc-starknet’s past year of commit activity
    Cairo 19 Apache-2.0 3 49 3 Updated May 9, 2025
  • hydro Public

    A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.

    informalsystems/hydro’s past year of commit activity
    Rust 10 Apache-2.0 4 19 (1 issue needs help) 1 Updated May 9, 2025
  • hydro-bid-descriptions Public

    This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.

    informalsystems/hydro-bid-descriptions’s past year of commit activity
    1 1 0 0 Updated May 8, 2025
  • starknet-devnet Public Forked from 0xSpaceShard/starknet-devnet

    A local testnet for Starknet... in Rust

    informalsystems/starknet-devnet’s past year of commit activity
    Rust 0 MIT 76 0 0 Updated May 8, 2025
  • beacon-kit Public Forked from berachain/beacon-kit

    A modular framework for building EVM consensus clients ⛵️✨

    informalsystems/beacon-kit’s past year of commit activity
    Go 0 230 0 0 Updated May 8, 2025
  • hermes-sdk Public
    informalsystems/hermes-sdk’s past year of commit activity
    Rust 36 Apache-2.0 11 39 10 Updated May 5, 2025
  • quint Public

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    informalsystems/quint’s past year of commit activity
    TypeScript 923 Apache-2.0 48 234 (9 issues need help) 5 Updated May 5, 2025
  • cosmos-sdk Public Forked from cosmos/cosmos-sdk

    ⛓️ A Framework for Building High Value Public Blockchains ✨

    informalsystems/cosmos-sdk’s past year of commit activity
    Go 0 Apache-2.0 4,115 0 1 Updated Apr 29, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…
0