alcestes

Tecnical University of DenmarkLyngby, DK

Pinned Repositories

abcd-website
ABCD Project website
Language:HTML0 1 00
dotty-lsp-plugin-crash
Crashing the Dotty Language Server 0.11.0-RC1
Language:Scala0 2 00
effpi
Verified message-passing programs in Dotty
Language:Scala47 7 18
lchannels
Session programming in Scala
Language:Scala59 7 02
mpstk
Multiparty Session Types toolKit
Language:Scala15 2 04
mpstk-crash-stop
The Multiparty Session Types Toolkit with crash detection support
Language:Scala0 3 00
scribble-java
Core components for the Scribble Java tools
Language:Java0 2 01
documentation
Documentation surrounding the ChiselVerify project. This includes presentations and research papers written on the topic.
Language:TeX7 5 02
stmonitor
A monitor synthesis tool for session types.
Language:Scala5 4 03

alcestes's Repositories

alcestes/lchannels
Session programming in Scala
Language:Scala59 7 02
alcestes/effpi
Verified message-passing programs in Dotty
Language:Scala47 7 18
alcestes/mpstk
Multiparty Session Types toolKit
Language:Scala15 2 04
alcestes/abcd-website
ABCD Project website
Language:HTML0 1 00
alcestes/dotty-lsp-plugin-crash
Crashing the Dotty Language Server 0.11.0-RC1
Language:Scala0 2 00
alcestes/mpstk-crash-stop
The Multiparty Session Types Toolkit with crash detection support
Language:Scala0 3 00
alcestes/scribble-java
Core components for the Scribble Java tools
Language:Java0 2 01