#

contract-programming

Here are 3 public repositories matching this topic...

dsheiko / bycontract

Argument validation library based on JSDOC syntax

nodejs javascript browser functional-programming type-checking production-optimization validation-library jsdoc3 argument-validation contract-programming

Updated Mar 27, 2025
JavaScript

FinnishCancerRegistry / dbc

Design-by-contract: verify your function inputs and outputs. Includes a large number of generated verifcation functions for convenience.

r data-validation assertions r-package input-validation design-by-contract runtime-validation defensive-programming error-checking output-validation function-validation contract-programming

Updated Feb 12, 2025
R

AirshipSim / SnakeD

A snake game to demo D contract programming in regards to DO-178c

do-178c dlang-unittest contract-programming

Updated Apr 28, 2025
D

Improve this page

Add a description, image, and links to the contract-programming 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 the contract-programming topic, visit your repo's landing page and select "manage topics."