sesstype 
sesstype is a parser and library for the sesstype type language.
The sesstype type language for Multiparty Session Types is defined in
sesstype.
To get:
go get -u go.nickng.io/sesstype/...
By default the parse-sesstype command will also be installed.
Syntax
The basic syntax of sesstype language is given below, for details see
godoc
Global Types
G ::= P->Q: { l(U).G , ... } Interaction between P and Q with message l(U)
| *T.G Recursion with label T, body G
| T Type variable
| end End type
Local Types
L ::= Q &{ ?l(U).L, ... } Branching, receive l(U) from role Q
| P +{ !l(U).L, ... } Selection, send l(U) to role P
| *T.L Recursion with label T, body L
| T Type variable
| end End type
License
sesstype is licensed under the Apache License.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent