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 cwcli

    Package testing. See package page for more details. AWS CloudWatch Selector CLI 0.2.0

    By:

    The AWS CloudWatch Selector CLI allows you to query against metrics stored in the Amazon CloudWatch service using a simple DSL.

  2. C:\> choco install fstar

    Package testing. See package page for more details. F* language 0.9.5.0

    By:

    F*: An ML-like language aimed at program verification ===================================================== [![Build status](https://travis-ci.org/FStarLang/FStar.svg?branch=master)](https://travis-ci.org/FStarLang/FStar) ## Notice This package will install F* language with compatable version of z3. It is recommended that you remove your z3 pac... More information