postconditions

There are 0 repository under postconditions topic.

• cowwoc / requirements.java

  Fluent Design Contracts for Java Projects

  design-by-contractinvariantsjavapostconditionspreconditionsrequirements
  Language:Java 22

• mchalapuk / offensive.js

  :facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.

  assertionsoffensiveduck-typingcontractdefensivepreconditionspostconditionsinvariantscrash-reportsfail-fasterror-reportingerror-messagesboilerplatedsllibrarytypescriptjavascript
  Language:TypeScript 8

• cowwoc / requirements.js

  Fluent Design by Contract for Javascript APIs

  design-by-contractinvariantsjavascriptpostconditionspreconditionsrequirements
  Language:TypeScript 7

• ArturLavrov / DeclarativeContracts

  Small library that enforce design by contract approach in declarative manner

  dbcdesign-by-contractspostconditionspreconditions
  Language:C# 2
• triplex

  lsolano / triplex

  Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).

  invariantstriplexpreconditionspostconditionsdddopen-sourceopensource
  Language:C# 2

• chtoucas / Cerbere

  Code Contracts and debugging put together.

  contractspreconditionspostconditionsdebuggingstatic-analysis
  Language:C# 0