github.com/valentinHenry/refined (go): Refinement types for Go
Keywords: go|refined|refinement-types