OCaml is described as 'Industrial strength programming language supporting functional, imperative and object-oriented styles' and is a programming language in the development category. There are more than 25 alternatives to OCaml for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best OCaml alternative is C (programming language), which is both free and Open Source. Other great apps like OCaml are Rust, C++, Haskell and D (Programming Language).
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...
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.
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...
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...
Object Pascal is a multi-paradigm, object-oriented, component-based general purpose programming language.
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...
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.
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...
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# for execution.
The Odin programming language is fast, concise, readable, pragmatic and open sourced. It is designed with the intent of replacing C with the following goals:
United States
Sweden
EU
