OCaml Alternatives

Apps similar to OCaml include C (programming language), which is free and open source. Other options are Rust, C++, Haskell and Elixir. You're spoiled for choice with Programming Languages like OCaml: we list more than 25 alternatives for Linux, Mac, Windows, the web and self-hosting.

Copy a direct link to this comment to your clipboard
Alternatives
OCaml alternatives page was last updated

Alternatives list

  1. Unison is a statically-typed functional language with type inference, an effect system, and advanced tooling. It is based around a big idea of content-addressed code, in which function are identified by a hash of their implementation rather than by name, and code is stored as...

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • BSD
    • Self-Hosted
    Good alternative?
     
  2. HolyC icon
     5 likes

    HolyC is very similar to regular C, so it's a very simple but powerful language. It was used to make all of TempleOS, so it definitely works to make programs.

    63 HolyC alternatives

    Cost / License

    Application type

    Platforms

    • Linux
    • Self-Hosted
    Good alternative?
     
  3. Elm icon
     6 likes

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

    41 Elm alternatives

    Cost / License

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Good alternative?
     
  4. Wolfram Language is a symbolic language, deliberately designed with the breadth and unity needed to develop powerful programs quickly. By integrating high-level forms—like Image, GeoPolygon or Molecule—along with advanced superfunctions—such as ImageIdentify or...

    Cost / License

    • Free
    • Proprietary (MIT)

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • Online
    • BSD
    • openSUSE
    • FreeBSD
    • OpenSolaris
    • NetBSD
    • OpenBSD
    Good alternative?
     
  5. Yon icon
     1 like

    Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?

    Cost / License

    Platforms

    • Mac
    • Linux
    • Windows
    • BSD
    Good alternative?
     
  6. Fortran icon
     3 likes

    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.

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Windows
    • Linux
    • Mac
    Good alternative?
     
  7. Object Pascal is a multi-paradigm, object-oriented, component-based general purpose programming language.

    83 Object Pascal alternatives

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • Android
    • iPhone
    • BSD
    • AROS
    • Haiku
    • AmigaOS
    • MorphOS
    Good alternative?
     
  8. Mussel icon
     1 like

    Mussel is an interpreted programming language written in Rust. It was designed as a simple and flexible language with a focus on easy-to-read syntax and powerful expression evaluation. Mussel supports basic data types, variable bindings, functions, closures, control flow...

    Cost / License

    Application type

    Platforms

    • Rust
    • Mac
    • Windows
    • Linux
    • BSD
    Good alternative?
     
  9. Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level...

    Cost / License

    Application type

    Platforms

    • Linux
    • BSD
    • Mac
    Good alternative?
     
  10. Pike is a dynamic programming language with a syntax similar to Java and C. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and really fast data manipulation.

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Good alternative?
     
  11. Nelua icon
     1 like

    Nelua is a systems programming language for performance sensitive applications, like real-time applications and game engines. Its syntax and semantics are similar to Lua, but its garbage collection is optional, it provides optional type notations, and it is free from an...

    Cost / License

    • Free
    • Open Source (MIT)

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Good alternative?
     
You are at page 2 of OCaml alternatives