Informal Systems, Verifiable distributed systems (of machines) and organizations (of humans). Focused on formally verifying Cosmos protocols and implementing them in Rust Language. We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.