Informal Systems
Fostering trust in software & money. Building Quint, an executable spec language and Cycles, a clearing protocol for capital efficient finance.
Pinned Loading
Repositories
Showing 10 of 203 repositories
- hydro-bid-descriptions Public
This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
- poseidon377 Public Forked from penumbra-zone/poseidon377
An instantiation of the Poseidon hash for use with decaf377
- decaf377-rdsa Public Forked from penumbra-zone/decaf377-rdsa
`decaf377-rdsa` is a randomizable signature scheme using the `decaf377` group.
- quint-balancer-v2-rounding-bug Public
Minimal Quint model of Balancer V2 to reproduce the rounding bug
- penumbra Public Forked from penumbra-zone/penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
- linguist Public Forked from github-linguist/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
- quint-grammars Public
Top languages
Loading…
Most used topics
Loading…