Alternatives to OCaml for all platforms with any license

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
Works at kernel level Compiled Language Inline assembly Manual memory management ... Systems programming Add a feature

279 Like
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 Windows Linux BSD
Compiled Language Systems programming Object-oriented Language Add a feature

268 Like
Rust

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

Free Open Source Mac Windows Linux BSD
Typesafe Compiler Explanations Package Manager Test case management ... Abstract Data Types Pattern matching Static typing Type inference Add a feature

74 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 Windows Linux BSD
Functional Language Static typing Add a feature

53 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

51 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 Windows Linux BSD
Compiled Language Compiler Functional Language Object-oriented Language Add a feature

61 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 Windows Linux BSD
Functional Language Object-oriented Language Scripting language Add a feature

17 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 Windows Linux BSD
Compiler Functional Language Add a feature

24 Like
Know any more alternatives to OCaml?
Suggest an application to this list
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 Functional Language High Availability Real-time Add a feature

28 Like
Elixir

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

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

7 Like