ko is an open source programming language created in 2018 by Petar Maymounkov.
#1245on PLDB | 6Years Old |
git clone https://github.com/kocircuit/kocircuit
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations