Movatterモバイル変換

Skip to content

#

design-by-contract

Here are 58 public repositories matching this topic...

Language:All

Filter by language

All58 Java11 Python9 Go6 Ruby5 C#3 TypeScript3 C++2 JavaScript2 OCaml2 C1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

life4 /deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

python testing validation interface functional-programming linter decorators typing property-based-testing flake8 refinement-types pythonic contracts-programming contracts invariant hacktoberfest mypy dbc design-by-contract deal

UpdatedJul 2, 2025
Python

AlexandreDecan /sismic

Sismic Interactive Statechart Model Interpreter and Checkerhttp://sismic.readthedocs.io/

python testing uml finite-state-machine behavior-driven-development property-testing statecharts hierarchical-state-machine design-by-contract

UpdatedOct 29, 2025
Python

StefanUlbrich /design-by-contract

Handy decorator for elegant design-by-contract in 3.10+

python design-by-contract python310

UpdatedAug 27, 2022
Python

sellout /quid-pro-quo

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

eiffel common-lisp postcondition preconditions design-by-contract

UpdatedJun 26, 2018
Common Lisp

feO2x /Light.GuardClauses

A lightweight .NET library for expressive Guard Clauses.

csharp dotnet assertions preconditions dbc guard-clauses design-by-contract precondition-checks

UpdatedJul 30, 2025
C#

orsinium-archive /djburger

Framework for safe and maintainable web-projects.

python api scheme django parse validation rest mvc solid rest-api clean-code validator decorators django-rest-framework mvc-framework marshmallow contracts-programming restful-api cbv design-by-contract

UpdatedFeb 12, 2020
Python

ErichDonGubler /adhesion-rs

D-inspired contract programming in Rust using macros

rust design-patterns design-by-contracts contracts-programming contract-testing design-by-contract

UpdatedJul 6, 2021
Rust

juancarlospaco /nim-contra

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

javascript immutable nim testing-tools hardening contracts-programming contracts security-hardening assertion-library immutable-objects nim-lang testing-framework design-by-contract hardened nimscript self-test compiletime

UpdatedJan 26, 2022
Nim

keathley /oath

Design by contract in elixir

elixir design-by-contract

UpdatedApr 25, 2021
Elixir

ciscoheat /HaxeContracts

A Design by contract library for Haxe.

haxe contracts-programming design-by-contract

UpdatedAug 9, 2022
Haxe

boostorg /contract

Contract programming for C++

boost contract design-by-contracts contracts-programming contracts design-by-contract

UpdatedAug 14, 2025
C++

chavacava /dbc4go

Design by Contract for Go

golang code-generation design-by-contract runtime-verification

UpdatedMar 31, 2025
Go

cowwoc /requirements.java

Fluent Design Contracts for Java Projects

java invariants preconditions requirements design-by-contract postconditions

UpdatedAug 28, 2025
Java

orsinium-labs /arguard

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

lint go golang ci linter static-analysis safety contracts dbc type-checker design-by-contract guards deal golangci-lint

UpdatedNov 17, 2023
Go

habedi /zig-dbc

A design by contract library for Zig

zig design-by-contract software-correctness ziglang zig-library zig-package

UpdatedOct 3, 2025
Zig

QuantumLeaps /DBC-for-embedded-C

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

assert minimalist embedded-c design-by-contract assert-library

UpdatedJan 30, 2023
C

final-hill /decorator-contracts

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

overrides solid decorators precondition postcondition invariant assertion rescue encapsulation liskov-substitution-principle exception-handling code-contracts design-by-contract requires demands behavioral-subtyping organized-panic material-implication if-and-only-if

UpdatedMay 24, 2025
TypeScript

dirkriehle /adap-course

A course on advanced object-oriented design and programming

design-patterns inheritance error-handling design-by-contract subtyping interface-design method-types method-properties value-objects role-modeling collaboration-based-design object-oriented-frameworks class-design type-objects object-creation

UpdatedOct 26, 2025
Java

drblez /dbc

Design-by-contract for Go1

golang design-by-contract

UpdatedMar 16, 2019
Go

shayanh /grpc-go-contracts

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

go microservices grpc verification rpc contracts design-by-contract

UpdatedNov 8, 2020
Go

Improve this page

Add a description, image, and links to thedesign-by-contract topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thedesign-by-contract topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp