Informal Systems

Organization

@informalsystems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

informal.systems @informalinc On GitHub since December 2019

Published Tools

1,248

Total Stars

Weekly Downloads

299

GitHub Followers

205

Public Repos

Published Tools

2 Skillsacross 1 category

bugarela

Core tool for the Quint specification language

SkillAI Tool

1.2K1 dir

thanethomson

Theme for VuePress static site generator used by Tendermint.

SkillAI Tool

1 dir