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
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
ocaml ocpwin64 binding. http://www.typerex.org/ocpwin.html repository url https://github.com/hsk/chocolatey-cgithubinst/tree/master/ocaml-ocpwin64