softwaredb
OC

OCaml

OCaml is Statically typed functional language with type inference and pattern matching, used in compilers, formal verification, and finance.. It is available under a free model. This tool falls under the languages category.

ocaml.orgby INRIA1996FreeOpen Source
LanguagesFreeOpen Source
macOS · Windows · Linux

Not yet rated

Unlocks after 5 ratings. Be the first.

Add OCaml to your stack

Commitment Level

0/140

Log a Switch

0/280

Review OCaml

Add OCaml to your stack before reviewing it.

QUICK FACTS

CompanyINRIA
Year Launched1996
PricingFree
Open SourceYes
CategoryLanguages

GITHUB

6,203 stars1,204 forksNOASSERTION License
Last commit: 2 weeks agoLanguage: OCaml
View on GitHub →

KEY FEATURES

Open source software

Completely free to use

First released in 1996

Category: Languages

Developed by INRIA

PRICING

FreeFree/one-time

Full access to all features

Free

View pricing page →

COMMUNITY INSIGHTS

What practitioners think

Commitment Levels

primary
secondary
evaluating
situational
sunsetting

How people use this tool

Rating Distribution

110

Unlock with 5+ ratings

THE GAP

—.—

Primary users

—.—

Sunsetting users

The difference between how daily users and departing users rate this tool.

MIGRATION PATTERNS

Where people are moving

Coming from

···
···
···

Going to

···
···
···

When practitioners switch tools, we track it. Log a switch to start building the picture.

Log a switch →

REVIEWS

From people who use it

No reviews yet. When practitioners rate OCaml, their reviews appear here — each one tied to their stack, their commitment level, and their real usage.

Write the first review →

COMMONLY USED WITH

As practitioners add OCaml to their stacks, we'll show which tools they commonly pair it with.

COMPARE

Compare OCaml with