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.
Search for "tag:OCaml" returned 4 packages
Displaying results 1 - 4.
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
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
ocaml ocpwin64 binding. http://www.typerex.org/ocpwin.html repository url https://github.com/hsk/chocolatey-cgithubinst/tree/master/ocaml-ocpwin64
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