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.
-
C:\> choco install fake
FAKE - F# Make 5.12.1
By:
"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.
-
C:\> choco install cwcli
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.
-
C:\> choco install fstar
F* language 0.9.6.001
By:
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