Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.

  1. C:\> choco install codecontracts

    Package testing. See package page for more details. CodeContracts 1.9.10714.2

    By:

    Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verif... More information

  2. C:\> choco install contract-tools

    Package testing. See package page for more details. Contract Tools 1.29.14.0

    By:

    Contract Tools is a [Microsoft Word](https://products.office.com/en-us/word) [VSTO add‑in](https://docs.microsoft.com/en-us/visualstudio/vsto/create-vsto-add-ins-for-office-by-using-visual-studio) for drafting and analyzing contracts; visit https://papersoftware.com/contract-tools to learn more. After installing Contract Tools, you can [try it for... More information

  3. C:\> choco install platonnetwork

    Package testing. See package page for more details. PlatON 0.6.0

    By:

    More than a blockchain platform, PlatON introduces a trustless computing architecture to address scalability and privacy issues with advanced encryption algorithms including verifiable computing, homomorphic encryption, secure multiparty computing, and more. PlatON's technology allows the executing of more heavy, data-privacy smart contracts. For m... More information

  4. C:\> choco install platonnetwork-all

    Package testing. See package page for more details. PlatON 0.6.0

    By:

    More than a blockchain platform, PlatON introduces a trustless computing architecture to address scalability and privacy issues with advanced encryption algorithms including verifiable computing, homomorphic encryption, secure multiparty computing, and more. PlatON's technology allows the executing of more heavy, data-privacy smart contracts. For m... More information

  5. C:\> choco install platonnetwork-mpclib

    Package testing. See package page for more details. PlatON 0.5.0

    By:

    More than a blockchain platform, PlatON introduces a trustless computing architecture to address scalability and privacy issues with advanced encryption algorithms including verifiable computing, homomorphic encryption, secure multiparty computing, and more. PlatON's technology allows the executing of more heavy, data-privacy smart contracts. For m... More information