session-types

Here are 4 public repositories matching this topic...

Scribble-Go file downloader demo.

golang research session-types scribble scribble-go

Parser and library for the sesstype type language in Go

development session-types

Session types compiler - Master Dissertation

compiler optimization session-types

Scribble-Go example protocols and programs

golang research session-types scribble scribble-go

Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.

To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."