Name		Name	Last commit message	Last commit date
JavaScript		JavaScript
.editorconfig		.editorconfig
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
eslint.config.js		eslint.config.js
package-lock.json		package-lock.json
package.json		package.json
prettier.config.js		prettier.config.js

Repository files navigation

Programming by contract

Design by contract (DbC), Contract-based Programming

About

Programming by contract, Design by contract (DbC), Contract-based Programming

Custom properties

2 stars

5 watching

Report repository

Releases

Packages

Used by

Contributors

Languages