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 ocaml

    Package testing. See package page for more details. ocaml 4.00.1.20141015

    By:

    ocaml is functional lanuguage. This distoribution is Cygwin base ocaml build. The installer has been tested on Windows XP, Windows 7, Windows 8. http://protz.github.io/ocaml-installer/ repository url https://github.com/hsk/chocolatey-cgithubinst/tree/master/ocaml

    1,476 downloads

    Tags

  2. C:\> choco install ocpwin

    Package testing. See package page for more details. OCPWin 4.02.1.20160113

    By:

    OCPWin is a binary OCaml distribution for Windows. It is self-contained and runs natively on Windows, which means you can generate OCaml applications with it without installing Cygwin or Windows SDK. The license allows you to distribute applications compiled with OCPWin for commercial purpose, as long as you do not distribute the OCaml compiler it... More information

  3. C:\> choco install fstar

    Package testing. See package page for more details. 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

  4. C:\> choco install ocaml-ocpwin64

    Package testing. See package page for more details. ocaml-ocpwin64 4.00.1.20141010

    By:

    ocaml ocpwin64 binding. http://www.typerex.org/ocpwin.html repository url https://github.com/hsk/chocolatey-cgithubinst/tree/master/ocaml-ocpwin64