There are no reviews yet. Be the first to send feedback to the community and the maintainers!
dingo-hunter
Static analyser for finding Deadlocks in Gogospal
Go static program analysergong
Gong liveness and channel safety checkerbibtex
Basic parser for bibtexmigo
MiGo types library in Gogoncurrency-analysis-framework
Demo tool for Go concurrency analysis frameworkasyncpi
An implementation of asynchronous Ο-calculus in Gosesstype.rs
An implementation of Multiparty Session Types in Rustsessc
Session C programming frameworkcfsm
CFSM library for Govim-scribble
Vim support for Scribble protocol description languagesesstype-cli.rs
Command line interface to sesstype.rsgolanguk2017-slides
My slides (sources) for talk at Golang UK 2017go-datarace-examples
Go snippets using shared variables that may introduce data racessessiontype-latex
Session Type typesetting macrossesstype
Parser and library for the sesstype type language in Goic-doc-ras-2016-src
Sources for RA Symposium 2016 documentstypetools
Helper tools for working with typesmigo2mcrl2-demo
actions-on-google-magicmirror
Example Actions on Google project with Go on AppEngine.scribble-go-file-downloader
Scribble-Go file downloader demo.Love Open Source and this site? Check out how you can help us