Yon is described as '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 ?' and is an app in the development category. There are more than 25 alternatives to Yon for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best Yon alternative is C (programming language), which is both free and Open Source. Other great apps like Yon are Rust, C++, Haskell and Elixir.
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.
J is a high-level, general-purpose programming language that is particularly suited to the mathematical, statistical, and logical analysis of data. It is a powerful tool for developing algorithms and exploring problems that are not already well understood.
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:
ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy, robust, and type-safe. It has a very good Javascript FFI story, and is easy to adopt piece-meal into your existing projects.
Q# (pronounced as Q sharp) is a domain-specific programming language used for expressing quantum algorithms. It was initially released to the public by Microsoft as part of the Quantum Development Kit.
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation.
PureScript was initially designed by Phil Freeman in 2013. He started to work on PureScript since he wasn't satisfied by other attempts to transpile Haskell to JavaScript (e.g. using Fay, Haste, or GHCJS).
Where jank differs from Clojure JVM is that its host is C++ on top of an LLVM-based JIT. This allows jank to offer the same benefits of REPL-based development while being able to seamlessly reach into the native world and compete seriously with JVM's performance.
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy.
Canada
United States
