2 Repos
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
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- microsoft/gsl
microsoft/GSL
6,693Auf GitHub ansehenGSL 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
