We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.
Informal designs, implements, and formally verifies distributed systems and protocols, including blockchain systems like Tendermint and Cosmos.
Informal develops tools to simplify the operation of organizations by leveraging open-source development, plaintext data, and distributed version control systems.
Our infrastructure powers the Cosmos network.
Informal is headquartered in Toronto, Canada with European offices in Vienna, Lausanne, and Berlin. Our team is comprised of world-class researchers and engineers.