Design by Contract for Go
-
Updated
Mar 31, 2025 - Go
#
design-by-contract
Here are 7 public repositories matching this topic...
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
lint go golang ci linter static-analysis safety contracts dbc type-checker design-by-contract guards deal golangci-lint
-
Updated
Nov 17, 2023 - Go
Verify the communication of your microservices by writing contracts for your RPCs
-
Updated
Nov 8, 2020 - Go
design-by-contract-like pre- and postconditions for golang
golang validation assertions contract safety golang-library precondition postcondition dbc design-by-contract
-
Updated
Jan 30, 2026 - Go
GO tools to assist with "programming by contract"
-
Updated
Mar 18, 2020 - Go
Improve this page
Add a description, image, and links to the design-by-contract topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the design-by-contract topic, visit your repo's landing page and select "manage topics."