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

111 stars

9 watching

7 forks

Language: Go

last commit: almost 6 years ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
codemix/babel-plugin-contracts	A Babel plugin that supports design by contract for JavaScript functions.	267
cinar/checker	A validation library for Go that helps ensure input data meets specific criteria using struct tags and standalone functions.	9
bradleyfalzon/apicompat	Checks Go projects for changes that might break existing code	179
qiniu/checkstyle	A tool that checks Go source code style and suggests improvements	129
checkmarx/chainjacking	A tool to identify susceptible dependencies in Go projects	57
greencoda/confiq	A Go package for loading structured data into structs with mapping using tags and selectors.	35
arch-go/arch-go	An open source tool for automated architecture checks in Go projects.	178
sashamelentyev/usestdlibvars	Detects potential misuse of standard library variables in Go code	43
go-gremlins/gremlins	A tool to verify test quality by randomly introducing changes into the code tested and determining if those changes are caught by tests	198
goccmack/gocc	A tool for generating lexers and parsers from a BNF file with semantic actions.	615
qiniu/goc	A comprehensive testing system for Go programming language applications	818
hhatto/gocloc	A tool for measuring the complexity of software code in various programming languages.	808
zmb3/gogetdoc	Tools to easily look up documentation for items in Go source code from within the editor.	183
golyshkin/vectordbcchecker	An application for checking DBC files for various issues and extending checker functionality.	4
ownlocal/goes	A library to interact with Elasticsearch using the Go programming language	31