Alternatives to OCaml for all platforms with any license

C++

C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose, powerful programming language. It is regarded as an intermediate-level language, as it...

Free Open Source Mac OS X Windows Linux BSD
Object-oriented Language Add a feature

240 Like
C (programming language)

C is a general-purpose computer programming language. C is one of the most widely used programming languages of all time.

Free Open Source Mac Windows Linux Android iPhone ... Android Tablet BSD iPad AROS Android Wear Haiku Playstation
Compiled Language Add a feature

247 Like
Rust

A systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races. .

Free Open Source Mac OS X Windows Linux BSD
Typesafe Abstract Data Types Package Manager Pattern matching ... Type inference Add a feature

57 Like
Haskell

Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of...

Free Open Source Mac OS X Windows Linux BSD
No features added Add a feature

52 Like
Scala

Scala is a modern multi-paradigm programming language based on the Java Virtual Machine (JVM) designed to express common programming patterns in a concise, elegant, and...

Free Open Source Mac OS X Windows Linux BSD
Compiled Language Functional Language Object-oriented Language Add a feature

61 Like
D (Programming Language)

D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity. ...

Free Open Source Mac Windows Linux BSD
Contract programming Functional Language High Level Multiparadigm ... Object-oriented Language Add a feature

44 Like
F# (programming language)

F# is a succinct, expressive and efficient functional and object-oriented language for .NET which helps you write simple code to solve complex problems.

Free Open Source Mac OS X Windows Linux BSD
Functional Language Object-oriented Language Scripting language Add a feature

16 Like
Erlang

Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system used to build massively scalable soft real-time systems with...

Free Open Source Mac Windows Linux BSD
Distributed Computing Excellent multi processing support Functional Language High Availability Add a feature

27 Like
Clojure

Clojure is a dynamic programming language that targets the Java Virtual Machine (and the CLR ). It is designed to be a general-purpose language, combining the...

Free Open Source Mac OS X Windows Linux BSD
Functional Language Add a feature

22 Like
Elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Free Open Source Mac OS X Windows Linux BSD FreeBSD ... DragonFly BSD
Functional Language Add a feature

7 Like
F*

F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness...

Free Open Source Mac OS X Windows Linux Web
Portable Add a feature

3 Like
Elm

Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

Free Open Source Mac OS X Windows Linux
No features added Add a feature

5 Like
Motti.NET (Programming Language)

Motti.NET (mottidotnet) is a advanced programming language with visual and programming features. Reliable Motti.NET has been proven to be very stable Motti.NET is...

Free Personal $ $ $ Open Source Windows Web Motti.NET (Programming Language)
No features added Add a feature

1 Like
- Discontinued Motti.NET has been discontinued by allMotti more info here: https://github.com/allmotti/mottidotnet
ReasonML

ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy, robust, and type-safe. It has a very good Javascript FFI story, and is...

Free Open Source Mac OS X Windows Linux
No features added Add a feature

1 Like
Poly/ML

The Poly/ML implementation of Standard ML – full multiprocessor support in the thread library and garbage collector, interactive debugger, fast compiler.

Free Open Source Mac Windows Linux
No features added Add a feature

1 Like