Informal Systems

Organization

@informalsystems

Fostering trust in software & money. Building Quint, an executable spec language and Cycles, a clearing protocol for capital efficient finance.

informal.systems @informalinc On GitHub since December 2019

Published Tools

Total Stars

Weekly Downloads

317

GitHub Followers

205

Public Repos

Published Tools

1 Skillacross 1 category

bugarela

Language Server for the Quint specification language

SkillAI Tool

1 dir