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,289 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 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

    407 downloads

    Tags

  4. 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