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: about 6 years ago
Linked from 2 awesome lists
Related projects:
Repository | Description | Stars |
---|---|---|
| A Babel plugin that supports design by contract for JavaScript functions. | 267 |
| A validation library for Go that helps ensure input data meets specific criteria using struct tags and standalone functions. | 10 |
| Checks Go projects for changes that might break existing code | 178 |
| A tool that checks Go source code style and suggests improvements | 130 |
| A tool to identify susceptible dependencies in Go projects | 56 |
| A library for populating structs with data from various formats. | 35 |
| An open source tool for automated architecture checks in Go projects. | 181 |
| Detects potential misuse of standard library variables in Go code | 43 |
| A tool to verify test quality by randomly introducing changes into the code tested and determining if those changes are caught by tests | 201 |
| A tool for generating lexers and parsers from a BNF file with semantic actions. | 621 |
| A comprehensive testing system for Go programming language applications | 824 |
| A tool for measuring the complexity of software code in various programming languages. | 816 |
| Tools to easily look up documentation for items in Go source code from within the editor. | 184 |
| An application for checking DBC files for various issues and extending checker functionality. | 4 |
| A library to interact with Elasticsearch using the Go programming language | 31 |