Informal Systems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
Pinned Loading
Repositories
Showing 10 of 178 repositories
- 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 - 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 - 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 - snapchain-e2e Public Forked from farcasterxyz/snapchain
The open-source, canonical implementation of Farcaster's Snapchain network.
informalsystems/snapchain-e2e’s past year of commit activity - valence-protocol Public Forked from timewave-computer/valence-protocol
A trust-minimized cross-chain execution environment.
informalsystems/valence-protocol’s past year of commit activity
Most used topics
Loading…