Topic: contracts-programming Goto Github
Some thing interesting about contracts-programming
Some thing interesting about contracts-programming
contracts-programming,Ethereum based Lease Agreements
User: anudishjain
Home Page: https://anudishjain.github.io/CharterContracts
contracts-programming,👨🔧 on progress not complete
Organization: appslab-ke
Home Page: https://appslab.co.ke
contracts-programming,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.
User: aserturik
Home Page: https://aserturik.github.io/
contracts-programming,Contract programming for C++
Organization: boostorg
Home Page: http://www.boost.org/doc/libs/develop/libs/contract/doc/html/index.html
contracts-programming,【Flutter】从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value),并编写界面进行展示。
User: chenxing640
Home Page: https://www.jianshu.com/p/df29789b0106
contracts-programming,A Design by contract library for Haxe.
User: ciscoheat
contracts-programming,The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
User: danielvoweb
contracts-programming,Contracts for Python
Organization: digitalmensch
contracts-programming,D-inspired contract programming in Rust using macros
User: erichdongubler
contracts-programming,Standalone MSBuild integration of CodeContracts (by Microsoft Research)
User: igorbek
contracts-programming,Minimal contracts library
User: jdgarciauc3m
contracts-programming,A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
User: jferard
contracts-programming,Introspectable Contracts Programming for JavaScript
User: jonnor
Home Page: http://agreejs.org
contracts-programming,Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
User: juancarlospaco
Home Page: https://dev.to/juancarlospaco/design-by-contract-immutability-side-effects-and-gulag-44fk
contracts-programming,GO tools to assist with "programming by contract"
Organization: klassen-software-solutions
contracts-programming,C++ tools to assist with "programming by contract"
Organization: klassen-software-solutions
contracts-programming,🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Organization: life4
Home Page: https://deal.readthedocs.io/
contracts-programming,Code Contracts for .NET Standard
User: llehn
contracts-programming,Framework for safe and maintainable web-projects.
Organization: orsinium-archive
Home Page: https://djburger.readthedocs.io
contracts-programming,契约测试框架。A TypeScript Contract Test for Interface base project.
User: phodal
Home Page: https://phodal.github.io/mest/
contracts-programming,Design by Contract framework for PHP
Organization: php-deal
contracts-programming,Periodic ERC20 contract address polling to gather token holders and balances
User: psiofxt
contracts-programming,Decorator style assertions and type check library for Contract programming
User: rike422
Home Page: https://qiita.com/rike422/items/853f614c804313bec78d
contracts-programming,Flawless Development Platform
User: scalamorphing
contracts-programming,Aplicación de Blockchain a situaciones de emergencias
User: sergioferrera
contracts-programming,Second semester programming course at CT ITMO: Java, JavaScript, Clojure.
User: shvetsovart
contracts-programming,redux helper tool to abstract action and reducer with getDefaultState and updaters.
User: sijiecai
contracts-programming,Pythonic way to implement Protocol Oriented Programming inspired by Apple's Swift
User: srikantviswanath
contracts-programming,League URI Interfaces
Organization: thephpleague
Home Page: http://uri.thephpleague.com
contracts-programming,An implementation of a reactive GR(1) contract
User: tungminhphan
contracts-programming,Examples c++20 contract programming
User: valmat
contracts-programming,ContractPedia
User: vasa-develop
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.