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 205 repositories
- linguist Public Forked from github-linguist/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
informalsystems/linguist’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 - quint-grammars Public
informalsystems/quint-grammars’s past year of commit activity - 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)
informalsystems/generalised-byzantine-lattice-agreement’s past year of commit activity - poseidon377 Public Forked from penumbra-zone/poseidon377
An instantiation of the Poseidon hash for use with decaf377
informalsystems/poseidon377’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
Top languages
Loading…
Most used topics
Loading…