The Best 13 OCaml Alternatives

  • 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.

    Free Open Source Mac OS X Windows Linux Android iPhone Android Tablet BSD iPad

  • C++ icon

    C++

    C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose, powerful programming language.

    Free Open Source Mac OS X 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.

    Free Open Source Mac OS X Windows Linux BSD

  • Clojure icon

    Clojure

    Clojure is a dynamic programming language that targets the Java Virtual Machine (and the CLR ).

    Free Open Source Mac OS X Windows Linux BSD

  • Elixir icon

    Elixir

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

    Free Open Source Mac OS X Windows Linux BSD FreeBSD

  • 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...

    Free Open Source Mac OS X Windows Linux Web

  • Fortran icon

    Fortran

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

    Commercial Windows Linux