Top 0.3% dependent packages on proxy.golang.org
Top 0.1% dependent repos on proxy.golang.org
Top 1.1% docker downloads on proxy.golang.org
proxy.golang.org : github.com/lpabon/godbc
Design-by-Contract for Go Design by Contract is a programming methodology which binds the caller and the function called to a contract. The contract is represented using Hoare Triple: where {P} is the precondition before executing command C, and {Q} is the postcondition. * http://en.wikipedia.org/wiki/Design_by_contract * http://en.wikipedia.org/wiki/Hoare_logic * http://dlang.org/dbc.html
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/lpabon/godbc
License: Apache-2.0
Latest release: 2 months ago
First release: almost 11 years ago
Namespace: github.com/lpabon
Dependent packages: 240
Dependent repositories: 3,350
Stars: 15 on GitHub
Forks: 1 on GitHub
Docker dependents: 6
Docker downloads: 1,958
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago