Alternatives to OCaml for all platforms with any license

Platforms

Desktop

Web / Online

Indie / Classic

  • C (programming language) icon

    C (programming language)

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

    Open Source Mac Windows Linux BSD AROS Haiku

  • C++ icon

    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 comprises a combination of both high-level and low-level language...

    Open Source Mac Windows Linux BSD

  • Haskell icon

    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 robust, concise, correct software. With strong support for...

    Open Source Mac Windows Linux BSD

  • Scala icon

    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 type-safe way.

    Open Source Mac Windows Linux BSD

  • Rust icon

    Rust

    Rust is a systems programming language that runs blazingly fast, prevents almost all crashes*, and eliminates data races. Featuring - algebraic data types - pattern matching - closures - type inference - zero-cost...

    Open Source Mac Windows Linux BSD

  • D (Programming Language) icon

    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. Convenience D allows writing large code fragments without...

    Open Source Mac Windows Linux BSD

  • Erlang icon

    Erlang

    Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system used to build massively scalable soft real-time systems with requirements on high availability. The sequential subset of Erlang is a...

    Open Source Mac Windows Linux BSD

  • F# (programming language) icon

    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.

    Open Source Mac Windows Linux BSD

  • Clojure icon

    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 approachability and interactive development of a scripting language with an...

    Open Source Mac Windows Linux BSD

  • Elixir icon

    Elixir

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

    Open Source Mac Windows Linux

  • F* icon

    F*

    F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F#...

    Open Source Mac Windows Linux Web / Cloud

  • Fortran

    Fortran (previously FORTRAN, derived from Formula Translating System) is a general-purpose, imperative programming language that is especially suited to numeric computation and scientific computing.

    Commercial Windows Linux

  • Know any more alternatives to OCaml?

    Suggest an application to this list

OCaml Comments

Echo echo ... Feels empty in here

Maybe you want to be the first to submit a comment about OCaml ? Just click the button up to your right!