OCaml Files

The core OCaml system: compilers, runtime system, base libraries

This is an exact mirror of the OCaml project, hosted at https://github.com/ocaml/ocaml. SourceForge is not affiliated with OCaml. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ocaml-5.4.0.tar.gz	2025-10-09	6.3 MB	0
OCaml 5.4.0 source code.tar.gz	2025-10-09	6.4 MB	0
OCaml 5.4.0 source code.zip	2025-10-09	8.4 MB	8
README.md	2025-10-09	616 Bytes	0
Totals: 4 Items		21.1 MB	8

Some of the highlights of OCaml 5.4.0 are:

Labelled tuples
Immutable arrays
Array literal syntax support for immutable arrays and floatarrays (through type-directed disambiguation)
Atomic record fields
Four new standard library modules: Pair, Pqueue, Repr, and Iarray
Restored "memory cleanup upon exit" mode
New chapter in the manual on profiling OCaml programs on Linux and macOS

And a lot of incremental changes:

Many runtime and code generation improvements
More than thirty new standard library functions
Nearly a dozen improved error messages
Around fifty bug fixes

Source: README.md, updated 2025-10-09

Other Useful Business Software

MongoDB Atlas runs apps anywhere Icon

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Build Securely on Azure with Proven Frameworks Icon

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

Caramel
Caramel is a functional language for building type-safe, scalable, and maintainable applications. It is built in OCaml and maintained by Abstract Machines. Caramel leverages the OCaml compiler, to provide you with a pragmatic type system and industrial-strength type safety, and the Erlang VM,...
OCamlFuse
This is an ocaml binding for fuse (filesystem in userspace) enabling you to write your own multithreaded, efficient userspace filesystems using the ocaml programming language.
Rust Programming Language
The Rust Programming Language is a language that empowers you to build reliable and efficient software. It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread...
OCaml Magic
OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
The MinCaml Compiler
*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!