Popular repositories Loading

1. lchannels lchannels Public

   Session programming in Scala

   Scala 58 2

2. effpi effpi Public

   Verified message-passing programs in Dotty

   Scala 49 9

3. mpstk mpstk Public

   Multiparty Session Types toolKit

   Scala 14 4

4. fable-fkbh fable-fkbh Public

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

   3 1

5. scribble-java scribble-java Public

   Forked from scribble/scribble-java

   Core components for the Scribble Java tools

   Java 1

6. abcd-website abcd-website Public

   Forked from epsrc-abcd/abcd-website

   ABCD Project website

   HTML