design-by-contract topic

Verify the communication of your microservices by writing contracts for your RPCs

shayanh

Design by contract in elixir

keathley

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

orsinium-labs

A Fun Frontend Language

marcellerusu

Design-by-contract for Go1

drblez

Fluent Design Contracts for Java Projects

cowwoc

Design By Contract (DBC) for embedded C and C++

QuantumLeaps

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 t...

final-hill