Informal Systems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
Pinned Loading
Repositories
Showing 10 of 188 repositories
- penumbra Public Forked from penumbra-zone/penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
informalsystems/penumbra’s past year of commit activity - decaf377-rdsa Public Forked from penumbra-zone/decaf377-rdsa
`decaf377-rdsa` is a randomizable signature scheme using the `decaf377` group.
informalsystems/decaf377-rdsa’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 - tmkms-cometbft Public Forked from iqlusioninc/tmkms
Tendermint KMS: Key Management System for Tendermint Validators
informalsystems/tmkms-cometbft’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
Top languages
Loading…
Most used topics
Loading…