Software Development ยท Ontario
Our mission is to foster trust in software and money, two systems the world increasingly depends on. We do this through Quint (https://quint.sh/), a specification language for designing reliable distributed systems, and Cycles (https://cycles.money/), a clearing protocol for real-world payments.