There are 2 repositories under design-by-contract topic.
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Handy decorator for elegant design-by-contract in 3.10+
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
A lightweight .NET library for expressive Guard Clauses.
Framework for safe and maintainable web-projects.
D-inspired contract programming in Rust using macros
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
A Design by contract library for Haxe.
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
A Fun Frontend Language
Verify the communication of your microservices by writing contracts for your RPCs
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
This is an example of the design-by-contract method
Design By Contract (DBC) for embedded C and C++
Fluent Design by Contract for Java APIs
A course on advanced object-oriented design and programming
Fluent Design by Contract for Javascript APIs
A Ruby Library for Planning Messages in Sequence Diagrams
Design by contract extension to Java using annotations and bytecode injection
Java unit-testing assertions to assist a Design By Contract style of programming
Code contracts library for pre and post condition validations in a fluent manner.
Generate data from contracts
A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
GO tools to assist with "programming by contract"
C++ tools to assist with "programming by contract"