bugarela Karma 29 Created 2 years ago Recent Submissions 1. ▲ Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org) 3 points · 3 months ago · 1 comment 2. ▲ Holiday protocols: secret santa with Quint (github.com) 8 points · 1 year ago · 1 comment All submissions on HN · View profile on HN