design-by-contract

There are 2 repositories under design-by-contract topic.

• life4 / deal

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

  pythoncontractsinvariantcontracts-programmingdecoratorsfunctional-programmingdesign-by-contractpythonicdealvalidationinterfacelinterflake8property-based-testingdbcmypytypingrefinement-typestestinghacktoberfest
  Language:Python 844

• AlexandreDecan / sismic

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

  pythonumltestingbehavior-driven-developmentdesign-by-contractproperty-testingfinite-state-machinestatechartshierarchical-state-machine
  Language:Python 154

• StefanUlbrich / design-by-contract

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

  design-by-contractpythonpython310
  Language:Python 102

• sellout / quid-pro-quo

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

  common-lispeiffelpostconditionpreconditionsdesign-by-contract
  Language:Common Lisp 97

• feO2x / Light.GuardClauses

  A lightweight .NET library for expressive Guard Clauses.

  assertionscsharpdbcdesign-by-contractdotnetguard-clausesprecondition-checkspreconditions
  Language:C# 92

• orsinium-archive / djburger

  Framework for safe and maintainable web-projects.

  djangopythonvalidationcbvcontracts-programmingdesign-by-contractparsedecoratorsschemerestrest-apirestful-apidjango-rest-frameworkmvcmvc-frameworksolidclean-codeapimarshmallowvalidator
  Language:Python 75

• ErichDonGubler / adhesion-rs

  D-inspired contract programming in Rust using macros

  contract-testingcontracts-programmingdesign-by-contractdesign-by-contractsdesign-patternsrust
  Language:Rust 54

• juancarlospaco / nim-contra

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

  nimnim-langnimscriptjavascriptdesign-by-contractcontracts-programmingcontractstesting-toolsassertion-librarycompiletimeself-testtesting-frameworkhardeninghardenedsecurity-hardeningimmutableimmutable-objects
  Language:Nim 54

• keathley / oath

  Design by contract in elixir

  design-by-contractelixir
  Language:Elixir 46

• ciscoheat / HaxeContracts

  A Design by contract library for Haxe.

  haxecontracts-programmingdesign-by-contract
  Language:Haxe 44

• boostorg / contract

  Contract programming for C++

  boostcontractcontractscontracts-programmingdesign-by-contractdesign-by-contracts
  Language:C++ 41

• chavacava / dbc4go

  Design by Contract for Go

  code-generationdesign-by-contractgolangruntime-verification
  Language:Go 33

• cowwoc / requirements.java

  Fluent Design Contracts for Java Projects

  javadesign-by-contractpreconditionspostconditionsinvariantsrequirements
  Language:Java 27

• orsinium-labs / arguard

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

  contractsdbcdealdesign-by-contractgogolanggolangci-lintguardslintersafetystatic-analysiscilinttype-checker
  Language:Go 25

• habedi / zig-dbc

  A design by contract library for Zig

  design-by-contractsoftware-correctnesszigzig-libraryzig-packageziglang
  Language:Zig 22

• QuantumLeaps / DBC-for-embedded-C

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

  assertassert-librarydesign-by-contractembedded-cminimalist
  Language:C 21

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

  behavioral-subtypingassertioncode-contractsdecoratorsdemandsdesign-by-contractencapsulationexception-handlinginvariantliskov-substitution-principleorganized-panicoverridespreconditionpostconditionrescuerequiressolidmaterial-implicationif-and-only-if
  Language:TypeScript 18

• drblez / dbc

  Design-by-contract for Go1

  golangdesign-by-contract
  Language:Go 17

• marcellerusu / peacock-lang

  A Fun Frontend Language

  languagedesign-by-contractpattern-matchingschemajavascript
  Language:Ruby 16

• shayanh / grpc-go-contracts

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

  contractsdesign-by-contractgogrpcmicroservicesrpcverification
  Language:Go 16

• tungminhphan / traffic-intersection

  This is an example of the design-by-contract method

  formal-verificationdesign-by-contract
  Language:Python 14

• yawaramin / dbc

  Design-by-contract programming for JavaScript and ReasonML

  reasonmljavascriptdesign-by-contractocamlbucklescript
  Language:OCaml 14

• dirkriehle / adap-course

  A course on advanced object-oriented design and programming

  method-typesmethod-propertieserror-handlingvalue-objectsdesign-patternsrole-modelingcollaboration-based-designobject-oriented-frameworksdesign-by-contractclass-designinterface-designsubtypinginheritancetype-objectsobject-creation
  Language:Java 10

• anirudhgray / tahini-lang

  A dynamic, interpreted and impurely functional programming language with testing and design-by-contract features.

  compiler-designdesign-by-contractinterpreter
  Language:Java 9

• cowwoc / requirements.js

  Fluent Design by Contract for Javascript APIs

  javascriptdesign-by-contractpreconditionspostconditionsinvariantsrequirements
  Language:TypeScript 9

• abeltavares / pysertive

  ✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.

  dbcdesign-by-contractpostconditionspreconditionspythonassertionscode-maintainabilityerror-checkingpypi-packagepython-decoratorspython-librarysoftware-qualitycode-validation
  Language:Python 6

• delonnewman / contracts-gen

  Generate data from contracts

  rubygenerative-testingfunctional-programingfunctionaltestingdesign-by-contractcontracts
  Language:Ruby 2

• sddevelopment-be / modular-validators

  A lightweight validation framework for the JVM, allowing for internal and external validation logic to be combined in a transparant and reusable way

  design-by-contractjavajava-21utility-libraryvalidation
  Language:HTML 2

• ysulaiman / communique

  A Ruby Library for Planning Messages in Sequence Diagrams

  rubydesign-by-contractdbcumlsequence-diagram
  Language:Ruby 2

• arcadio / ajcontract

  Design by contract extension to Java using annotations and bytecode injection

  aspectjdesign-by-contractjavacformal-specificationformal-methodsjava
  Language:Java 1

• BenedictAdamson / DBC-assertions

  Java unit-testing assertions to assist a Design By Contract style of programming

  unit-testingdesign-by-contractjava
  Language:Java 1

• iamantoniodinuzzo / Java-practice

  A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.

  best-practicesdesign-by-contractjavajavacollection
  Language:Java 1

• KooiInc / es-contract-fiddler

  Design By Contract for ECMAScript

  classfree-object-orienteddesign-by-contractes20xxutility
  Language:JavaScript 1

• LordUbuntu / maths

  Maths algorithms and data structures you'll find useful, formally verified and optimized

  algebraalgorithmscalculuscomputer-algebra-systemdata-structuresdesign-by-contractformal-verificationmathematical-programmingmathematicsmathsproperty-based-testing
  Language:Python 1

• serradura / bcdd-contract

  🚧 Not yet ready for production

  anti-corruption-layerbcdddesign-by-contractports-and-adaptersrubyschema-validationtype-checkingvalidation-library
  Language:Ruby 1

• sr-lab / contracts-android

  Contract usage in Android Java and Kotlin applications

  assertionsdesign-by-contractreliabilitystatic-code-analysis
  Language:Java 1