GitHub topics: contracts-programming
thephpleague/uri-interfaces
League URI Interfaces
Language: PHP - Size: 324 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 490 - Forks: 7
orsinium-archive/djburger 📦
Framework for safe and maintainable web-projects.
Language: Python - Size: 233 KB - Last synced at: 9 days ago - Pushed at: about 5 years ago - Stars: 73 - Forks: 6
boostorg/contract
Contract programming for C++
Language: C++ - Size: 11.9 MB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 40 - Forks: 27
php-deal/framework
Design by Contract framework for PHP
Language: PHP - Size: 144 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 254 - Forks: 21
juancarlospaco/nim-contra
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
Language: Nim - Size: 327 KB - Last synced at: 18 days ago - Pushed at: about 3 years ago - Stars: 53 - Forks: 3
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Language: Python - Size: 1.91 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 741 - Forks: 25
ErichDonGubler/adhesion-rs
D-inspired contract programming in Rust using macros
Language: Rust - Size: 64.5 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 54 - Forks: 1
harshit433/Aarogya-Bharat-Blockchain-project Fork of devLucario/Aarogya-Bharat-Blockchain-project
Aarogya Bharat is a web3 project which utilizes Tezos blockchain technology to securely store and manage patients' medical histories in the cloud. This cutting-edge project aims to revolutionize medical record-keeping with enhanced security and efficiency through blockchain's immutable and decentralized features.
Language: HTML - Size: 102 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
mgasil/dbackup
Simple backup utility
Language: D - Size: 83 KB - Last synced at: 10 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
itenfay/grab_ethtoken_info
从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value)，并编写界面进行展示。
Language: Dart - Size: 200 KB - Last synced at: 15 days ago - Pushed at: 11 months ago - Stars: 19 - Forks: 4
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.
Language: TypeScript - Size: 1.53 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1
AppsLab-KE/software-development-contract
👨🔧 on progress not complete
Size: 6.84 KB - Last synced at: 11 months ago - Pushed at: about 5 years ago - Stars: 39 - Forks: 27
shvetsovart/paradigms-of-programming
Second semester programming course at CT ITMO: Java, JavaScript, Clojure.
Language: Java - Size: 3.66 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
digitalmensch/contrapy
Contracts for Python
Language: Python - Size: 34.2 KB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
anudishjain/CharterContracts
Ethereum based Lease Agreements
Language: JavaScript - Size: 10.4 MB - Last synced at: 11 days ago - Pushed at: almost 6 years ago - Stars: 11 - Forks: 11
phodal/mest
契约测试框架。A TypeScript Contract Test for Interface base project.
Language: TypeScript - Size: 536 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 28 - Forks: 3
NelsonCBI/CONTRACTS-ADVANCED-HONEYPOT
Create versatile tokens on EVM-compatible blockchains with this advanced Solidity contract. Features include customizable whitelists, blacklists, burning tokens, secret owner transfers, commission-based burning, and more. Perfect for Ethereum, BSC, Polygon, and beyond.! SCAM OR NOT
Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
psiofxt/eth-token-scraper
Periodic ERC20 contract address polling to gather token holders and balances
Language: Rust - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2
SijieCai/redux-prim
redux helper tool to abstract action and reducer with getDefaultState and updaters.
Language: TypeScript - Size: 164 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 82 - Forks: 8
jdgarciauc3m/min-contracts
Minimal contracts library
Language: C++ - Size: 101 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
kofronpi/contracts-fr-en Fork of tibastral/contrats-francais
A ruby dev contract generator - French,English / Générateur de contrat de dév Français, Anglais
Language: Ruby - Size: 103 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 5 - Forks: 2
jferard/python-toy-contract
A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
Language: Python - Size: 66.4 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Aserturik/Air-Trafic-Control
An Spanish Air Traffic Control game where players control airplanes using the mouse to land them on a runway. Built in Java Swing, the project follows the MVP architecture, leveraging multithreading and concurrency for enhanced performance and realism.
Language: Java - Size: 463 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Igorbek/CodeContracts.MSBuild
Standalone MSBuild integration of CodeContracts (by Microsoft Research)
Language: C# - Size: 25.2 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 10
klappdev/snitch
Java contract library based on AspectJ
Language: Java - Size: 38.8 MB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
ciscoheat/HaxeContracts
A Design by contract library for Haxe.
Language: Haxe - Size: 73.2 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 44 - Forks: 4
valmat/cpp20-contracts-examples
Examples c++20 contract programming
Language: C++ - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1
vasa-develop/ContractPedia
ContractPedia
Size: 2.54 MB - Last synced at: 23 days ago - Pushed at: almost 7 years ago - Stars: 18 - Forks: 3
danielvoweb/paper-test
The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
Language: C# - Size: 19.5 KB - Last synced at: 9 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
klassen-software-solutions/ksscontract
C++ tools to assist with "programming by contract"
Language: C++ - Size: 129 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tungminhphan/reactive_contracts
An implementation of a reactive GR(1) contract
Language: Python - Size: 15.9 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
srikantviswanath/Python-Protocol-Oriented-Programming
Pythonic way to implement Protocol Oriented Programming inspired by Apple's Swift
Language: Python - Size: 8.79 KB - Last synced at: 6 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
klassen-software-solutions/gocontract
GO tools to assist with "programming by contract"
Language: Go - Size: 17.6 KB - Last synced at: 10 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
rike422/moguro
Decorator style assertions and type check library for Contract programming
Language: Ruby - Size: 17.6 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
jonnor/agree
Introspectable Contracts Programming for JavaScript
Language: CoffeeScript - Size: 134 KB - Last synced at: 11 days ago - Pushed at: over 8 years ago - Stars: 13 - Forks: 0
llehn/Contracts4Net
Code Contracts for .NET Standard
Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
