andreamancuso/invariant-php

Native PHP extension for Design by Contract. Enforces class invariants with minimal runtime overhead.

Language: PHP - Size: 51.8 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

andreamancuso/invariant-python

Automatic invariant enforcement for Python classes using Design by Contract (DbC). Ensures objects stay in a valid state before and after method calls.

Language: Python - Size: 5.86 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

dakusui/valid8j

A DbC library designed to be a successor of valid4j.

Language: Java - Size: 1.16 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

kachick/module-dbc 📦

Design By Contract in Ruby

Language: Ruby - Size: 20.5 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

nhedlund/ncontract

NContract - a design by contract library for .NET

Language: C# - Size: 34.2 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

sergiofagostinho/dbc4j

Design by Contract for Java

Language: HTML - Size: 1.62 MB - Last synced at: about 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

iranhoe/DBC

Design By Contracts Library for .NET

Language: C# - Size: 38.1 KB - Last synced at: 16 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Intelligine/Dbc

Provides support for Design By Contract

Language: C# - Size: 39.1 KB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

gublan24/ViOpContract

Language: Java - Size: 6.77 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

adamluzsi/design_by_contract.rb

Design by contract conventions

Language: Ruby - Size: 26.4 KB - Last synced at: 11 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0