contracts-programming

Star

Here are 32 public repositories matching this topic...

thephpleague / uri-interfaces

Star

League URI Interfaces

php uri contracts-programming uri-interfaces

Updated Jun 28, 2021
PHP

php-deal / framework

Star

Design by Contract framework for PHP

php invariants design-by-contracts contracts-programming preconditions dbc

Updated May 19, 2021
PHP

life4 / deal

Star

Design by contract for Python with static checker and tests' generation.

python validation interface functional-programming linter decorators property-based-testing flake8 post pythonic contracts-programming contracts invariant dbc design-by-contract pre deal

Updated Jul 12, 2021
Python

SijieCai / redux-prim

Star

redux helper tool to abstract action and reducer with getDefaultState and updaters.

react redux data-driven abstraction contracts-programming reusability

Updated Jun 8, 2021
TypeScript

orsinium-archive / djburger

Star

Framework for safe and maintainable web-projects.

Updated Feb 12, 2020
Python

ErichDonGubler / adhesion-rs

Star

Open

Use an external `doc` attribute once it's stabilized

ErichDonGubler opened Dec 28, 2017

enhancement good first issue help wanted

Open

Write better test coverage for attributes

Open

Write better test coverage for `pub`

juancarlospaco / nim-contra

Star

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

Updated Jun 21, 2020
Nim

ciscoheat / HaxeContracts

Star

A Design by contract library for Haxe.

haxe contracts-programming postcondition preconditions denominator design-by-contract

Updated Jun 17, 2020
Haxe

phodal / mest

Star

契约测试框架。A TypeScript Contract Test for Interface base project.

testing test e2e-tests testing-tools contracts-programming contract-testing e2e-testing

Updated Apr 10, 2018
TypeScript

boostorg / contract

Star

Contract programming for C++

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

Updated Jun 9, 2021
C++

dgynfi / grab_ethtoken_info

Star

[Flutter] 从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value)，并编写界面进行展示。

dart balance ethereum blockchain contract token contracts-programming flutter symbol eth blockchain-technology flutter-demo wallet-address flutter-app dart-etherscan

Updated Jun 24, 2020
Dart

vasa-develop / ContractPedia

Star

ContractPedia

bitcoin ethereum smart-contracts blockchain solidity contracts-programming

Updated Jul 16, 2018

Igorbek / CodeContracts.MSBuild

Star

Standalone MSBuild integration of CodeContracts (by Microsoft Research)

microsoft msbuild dotnet contracts-programming codecontracts

Updated Sep 11, 2019
C#

AppsLab-KE / software-development-contract

Star

👨‍🔧 on progress not complete

software contracts-programming contracts software-contracts software-agreement

Updated Apr 4, 2020

jonnor / agree

Star

Introspectable Contracts Programming for JavaScript

javascript noflo invariants design-by-contracts contracts-programming contracts

Updated Jan 6, 2017
CoffeeScript

anudishjain / CharterContracts

Star

Ethereum based Lease Agreements

ethereum dapp rentals smart-contracts blockchain solidity ethereum-contract contracts-programming ethereum-dapp solidity-contracts solidity-dapps solidity-language rentalsystem ethereum-rent rental-contracts

Updated Jun 12, 2019
JavaScript

kofronpi / contracts-fr-en

Star

A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais

pdf generator contracts-programming contracts freelancing

Updated Feb 19, 2017
Ruby

valmat / cpp20-contracts-examples

Star

Examples c++20 contract programming

cpp contracts-programming contracts cpp20

Updated Mar 15, 2019
C++

tungminhphan / reactive_contracts

Star

An implementation of a reactive GR(1) contract

contracts-programming formal-specification automated-systhesis contract-synthesis

Updated Nov 13, 2020
Python

rike422 / moguro

Star

Decorator style assertions and type check library for Contract programming

ruby typechecker contracts-programming

Updated Nov 21, 2019
Ruby

danielvoweb / paper-test

Star

The C# integration testing library for self-initializing fakes and contract testing with MongoDB.

integration-testing contracts-programming contract-testing automated-testing self-initializing-fakes

Updated Feb 7, 2021
C#

jdgarciauc3m / min-contracts

Star

Minimal contracts library

assertions contracts-programming postcondition preconditions

Updated May 30, 2021
C++

llehn / Contracts4Net

Star

Code Contracts for .NET Standard

csharp netstandard contracts-programming codecontract

Updated Jun 10, 2017

jferard / python-toy-contract

Star

A toy project. Attempt to use dynamic nature of Python to implement programming by contract.

python-3 contracts-programming toy-project metaclasses

Updated Apr 26, 2020
Python

digitalmensch / contrapy

Star

Contracts for Python

python3 contracts-programming contracts

Updated May 8, 2021
Python

klassen-software-solutions / ksscontract

Star

C++ tools to assist with "programming by contract"

c-plus-plus contract contracts-programming correctness correctness-evaluation design-by-contract

Updated Jan 10, 2020
C++

klassen-software-solutions / gocontract

Star

GO tools to assist with "programming by contract"

go golang contract contracts-programming correctness correctness-evaluation design-by-contract

Updated Mar 18, 2020
Go

scalamorphing / lithography

Star

Flawless Development Platform

platform module-loader hot-reloading microservice continuous-integration declarative contracts-programming

Updated Feb 15, 2017

srikantviswanath / Python-Protocol-Oriented-Programming

Star

Pythonic way to implement Protocol Oriented Programming inspired by Apple's Swift

protocol-oriented policy contracts-programming protocols interfaces

Updated Jul 17, 2017
Python

SergioFerrera / dapp_emergency_situations

Star

Aplicación de Blockchain a situaciones de emergencias

nodejs javascript ethereum blockchain solidity ethereum-contract smart contracts-programming contracts resource-management truffle-framework emergency-management descentralized descentralized-applications

Updated Jun 16, 2019
JavaScript

Improve this page

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

Learn more