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 fake

    Package testing. See package page for more details. FAKE - F# Make 5.16.0


    "FAKE - F# Make" is a build automation system with capabilities which are similar to make and rake. It is using an easy domain-specific language (DSL) so that you can start using it without learning F#. If you need more than the default functionality you can either write F# or simply reference .NET assemblies.

  2. C:\> choco install cwcli

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


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

  3. C:\> choco install fstar

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


    F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, or C co... More information