Beast code in Giters

Alceste Scalas's repositories

Session programming in Scala

Language:ScalaBSD-2-Clause59 70

Verified message-passing programs in Dotty

Language:ScalaMIT48 7 1

Multiparty Session Types toolKit

Language:ScalaMIT15 20

Fable tutorial @ Mødegruppe for F#unctionelle Københavnere

ABCD Project website

Language:HTML010

Crashing the Dotty Language Server 0.11.0-RC1

Language:Scala020

The Multiparty Session Types Toolkit with crash detection support

Language:ScalaMIT030

Core components for the Scribble Java tools

Language:Java020