gocontracts

Contract checker

A tool for automatically generating pre- and post-condition checks in Go code to enforce design-by-contract principles.

A tool for design-by-contract in Go

GitHub

111 stars
9 watching
7 forks
Language: Go
last commit: over 7 years ago
Linked from 2 awesome lists


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
codemix/babel-plugin-contractsA Babel plugin that supports design by contract for JavaScript functions.267
cinar/checkerA validation library for Go that helps ensure input data meets specific criteria using struct tags and standalone functions.10
bradleyfalzon/apicompatChecks Go projects for changes that might break existing code178
qiniu/checkstyleA tool that checks Go source code style and suggests improvements130
checkmarx/chainjackingA tool to identify susceptible dependencies in Go projects56
greencoda/confiqA library for populating structs with data from various formats.35
arch-go/arch-goAn open source tool for automated architecture checks in Go projects.181
sashamelentyev/usestdlibvarsDetects potential misuse of standard library variables in Go code43
go-gremlins/gremlinsA tool to verify test quality by randomly introducing changes into the code tested and determining if those changes are caught by tests201
goccmack/goccA tool for generating lexers and parsers from a BNF file with semantic actions.621
qiniu/gocA comprehensive testing system for Go programming language applications824
hhatto/goclocA tool for measuring the complexity of software code in various programming languages.816
zmb3/gogetdocTools to easily look up documentation for items in Go source code from within the editor.184
golyshkin/vectordbccheckerAn application for checking DBC files for various issues and extending checker functionality.4
ownlocal/goesA library to interact with Elasticsearch using the Go programming language31