2 个仓库
Awesome GitHub RepositoriesContract Programming
Tools for enforcing design-by-contract in software development.
Explore 2 awesome GitHub repositories matching part of an awesome list · Contract Programming. Refine with filters or upvote what's useful.
Awesome Contract Programming GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- microsoft/gsl
microsoft/GSL
6,693在 GitHub 上查看GSL is a Guidelines Support Library for C++ that provides a set of types and functions designed to implement the C++ Core Guidelines. It functions as a framework for improving code safety and portability across different platforms. The library provides a contract-based programming model to verify program invariants through precondition and postcondition assertions. It includes specialized wrappers for null-pointer safety and bounds-checked memory views to prevent buffer overflows and invalid memory access. The project also covers safe integer conversion to prevent data truncation and provide
Provides a framework for verifying program invariants using precondition and postcondition assertions.
C++ - sellout/quid-pro-quo
sellout/quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
Contract programming library inspired by the Eiffel language.
Common Lisp
