php-deal/framework

Design by Contract framework for PHP

Language: PHP - Size: 144 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 254 - Forks: 21

ErichDonGubler/adhesion-rs

D-inspired contract programming in Rust using macros

Language: Rust - Size: 64.5 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 54 - Forks: 1

boostorg/contract

Contract programming for C++

Language: C++ - Size: 11.9 MB - Last synced at: 13 days ago - Pushed at: about 1 month ago - Stars: 40 - Forks: 27

jonnor/agree

Introspectable Contracts Programming for JavaScript

Language: CoffeeScript - Size: 134 KB - Last synced at: 12 days ago - Pushed at: over 8 years ago - Stars: 13 - Forks: 0

AlexandruBurlacu/pycontracts

A decorator-based Python contracts/defensive programming library with no dependencies

Language: Python - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

SerafimArts/Contracts

[WIP] Design by Contract library for PHP

Language: PHP - Size: 108 KB - Last synced at: 22 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

ArturLavrov/DeclarativeContracts

Small library that enforce design by contract approach in declarative manner

Language: C# - Size: 86.9 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

rebolyte/pass-muster

A simple function emulating an interface so you can validate your argument objects.

Language: JavaScript - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

MarcoGeaJr/Todo-DDD

DDD API para executar as operações de CRUD de uma To-Do List.

Language: C# - Size: 32.2 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Dgame/php-ensurance

Language: PHP - Size: 137 KB - Last synced at: 16 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

Ragmaanir/kontrakt

Simple design by contract for crystal

Language: Crystal - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

sebhoss/annotated-contracts

Design by Contract based on annotations

Language: Java - Size: 878 KB - Last synced at: 16 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

liandro-silva/biud-backend-challenge

API created to solve BIUD backend challenge

Language: TypeScript - Size: 143 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

liandro-silva/biud-frontend-challenge

Web App created to solve a BIUD frontend challenge

Language: TypeScript - Size: 476 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

wevertonpaulino/PaymentContext

Modeling rich domains.

Language: C# - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

UniKnow/dbc4j

Library to apply Design By Contract on plain Java projects

Language: Java - Size: 59.6 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

harshraj11584/CS2400_PoPL

Design by Contract mechanisms in Eiffel

Language: E - Size: 6.84 KB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

edson-a-soares/geometric_acyclic_visitor

An acyclic visitor geometrically flavored.

Language: C++ - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0