lchannels. Session programming in Scala
effpi. Verified message-passing programs in Dotty
mpstk. Multiparty Session Types toolKit
fable-fkbh. Fable tutorial @ Mødegruppe for F#unctionelle Københavnere
