- Accelerate - Embedded language for high-performance array computations.
- Agda - Dependently typed functional language.
- Alice ML - Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming.
- Amulet - Simple functional programming language in the ML tradition, with support for higher-rank parametric polymorphic types and row-polymorphic records, pattern matching with algebraic data types, and tail recursion elimination.
- Eff - Functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.
- Eta - Dialect of Haskell on the JVM.
- Eve - Programming language based on years of research into building a human-first programming platform.
- F* - General-purpose functional programming language with effects aimed at program verification.
- Flix - Statically typed functional- and logic programming language inspired by Scala, OCaml, F#, Haskell, and Datalog.
- Futhark - Purely functional data-parallel programming language. Its optimising compiler is able to compile it to typically very performant GPU code.
- Haskell - Advanced, purely functional programming language.
- Ocaml - Industrial strength language supporting functional, imperative and object-oriented styles.
- Sixteen - Experimental functional language where all data is unboxed by default. Functional programming with fewer indirections.
- TiML - Functional Language for Practical Complexity Analysis with Invariants.
- Unison - Modern, statically-typed purely functional language, similar to Haskell, but with a unique ability to describe entire distributed systems with a single program.
- Expresso - Simple expressions language with polymorphic extensible row types.
- Bosatsu - Python-ish pure and total functional programming language.
- Silt - An in-progress fast, dependently typed, functional programming language implemented in Swift.
- Granule - Statically typed functional language with graded modal types for fine-grained program reasoning via types.
- LinearML - Functional language for parallel programming.
- Clojure - Dynamic, general-purpose, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
- femtolisp - Lightweight, robust, scheme-like lisp implementation.
- Fennel - Lua Lisp Language.
- PicoLisp - Simple and lightweight and encourages clean, concise code.
- Janet - Functional and imperative programming language and bytecode interpreter.
- C - General-purpose, imperative, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.
- Go - Compiled, statically typed in the tradition of Algol and C, with garbage collection, limited structural typing, memory safety features and CSP-style concurrent programming features added.
- Haxe - High-level and strictly-typed, cross-compiles to many different targets.
- JavaScript - High-level, dynamic, weakly typed, prototype-based, multi-paradigm, and interpreted.
- Julia - High-level, high-performance dynamic language for technical computing.
- Objective C - General-purpose and object-oriented, adds Smalltalk-style messaging to the C programming language.
- Python - Interpreted high-level language for general-purpose programming.
- Swift - General-purpose, multi-paradigm, compiled programming language.
- TypeScript - Strict syntactical superset of JavaScript that adds optional static typing to the language.
- RaptorJIT - Dynamic language for system programming (LuaJIT fork).
- Zig - Robust, optimal, and clear programming language.
- Tengo - Fast script language for Go.
- Ciao - Programming language that builds up from a logic-based simple kernel, and is designed to be extensible and modular.
- V - Fast, safe, compiled language.
- Lobster - General purpose stand-alone programming language that comes with a built-in library suitable for making games and other graphical things.
- Bosque - Experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
- Red - Strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent