#

contracts-programming

Here are 37 public repositories matching this topic...

life4 / deal

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

Updated Nov 8, 2024
Python

thephpleague / uri-interfaces

League URI Interfaces

php uri contracts-programming uri-interfaces

Updated Sep 20, 2024
PHP

php-deal / framework

Design by Contract framework for PHP

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

Updated Mar 14, 2022
PHP

SijieCai / redux-prim

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

react redux data-driven abstraction contracts-programming reusability

Updated May 29, 2023
TypeScript

orsinium-archive / djburger

Framework for safe and maintainable web-projects.

Updated Feb 12, 2020
Python

ErichDonGubler / adhesion-rs

D-inspired contract programming in Rust using macros

rust design-patterns design-by-contracts contracts-programming contract-testing design-by-contract

Updated Jul 6, 2021
Rust

juancarlospaco / nim-contra

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 Jan 26, 2022
Nim

ciscoheat / HaxeContracts

A Design by contract library for Haxe.

haxe contracts-programming design-by-contract

Updated Aug 9, 2022
Haxe

boostorg / contract

Contract programming for C++

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

Updated Aug 14, 2024
C++

AppsLab-KE / software-development-contract

👨‍🔧 on progress not complete

software contracts-programming contracts software-contracts software-agreement

Updated Apr 4, 2020

phodal / mest

契约测试框架。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

itenfay / grab_ethtoken_info

从以太坊区块链 (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 May 14, 2024
Dart

vasa-develop / ContractPedia

ContractPedia

bitcoin ethereum smart-contracts blockchain solidity contracts-programming

Updated Jul 16, 2018

Igorbek / CodeContracts.MSBuild

Standalone MSBuild integration of CodeContracts (by Microsoft Research)

microsoft msbuild dotnet contracts-programming codecontracts

Updated Sep 11, 2019
C#

jonnor / agree

Introspectable Contracts Programming for JavaScript

javascript invariants design-by-contracts contracts-programming contracts

Updated Jan 6, 2017
CoffeeScript

anudishjain / CharterContracts

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

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

Examples c++20 contract programming

cpp contracts-programming contracts cpp20

Updated Mar 15, 2019
C++

tungminhphan / reactive_contracts

An implementation of a reactive GR(1) contract

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

Updated Nov 13, 2020
Python

Karthik-02 / crowdfundchain

CrowdFundChain is a decentralized crowdfunding platform built on blockchain technology. Empower users to create and support campaigns for various causes transparently and securely. Features include campaign creation, donation tracking, user campaign listings, and more.

blockchain crowdfunding contracts-programming contracts blockchain-technology blockchain-website hardhat crowdfunding-project metamask-wallet thirdweb crowdfunding-website

Updated May 13, 2024
TypeScript

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."