github.com/julian-klode/lingolang (go): WIP (very WIP): Linear Typing for Go (master's thesis)
Keywords: go|golang|linear|typesystem