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 Rustgoogle-tv-remote-jb
Google TV Remote (for Jelly Bean)sessc
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 typesactions-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