Programming languages 
Please read contribution guidelines before contributing.
Functional
- 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.
- Sixten - 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. (HN)
- 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.
- Koka - Function-oriented language with effect inference.
- Beluga - Functional programming language designed for reasoning about formal systems.
- Gluon - Static, type inferred and embeddable language written in Rust.
- Ur/Web - Implementation of a domain-specific functional programming language for web applications.
- Lasca - LLVM-based statically or dynamically typed strict functional programming language. Simplified OCaml if you will.
- Ko - Generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations.
- Braid - Functional language with Reason-like syntax that compiles to Go.
- cur - Powerful meta-programming for powerful types.
- Ink - Minimal programming language inspired by modern JavaScript and Go, with functional style.
- Verve - Functional language for the working hacker.
- Enki - Intended to be a logic language for teaching programming to people with no programming experience.
- Bright ML - Statically-typed programming language based on "F-ing modules".
- TopShell - Purely functional, reactive scripting language.
- Amulet - ML-like functional programming language.
- Never - Statically typed, embedded functional programming language.
- Functa - Flexible, fully functional dynamic programming language.
- Pikelet - Small, functional, dependently typed programming language.
- Chaos - Purely functional programming language that achieves zero cyclomatic complexity. (HN)
- Spiral - Functional language with intensional polymorphism and first-class staging.
- Neut - Dependently-typed programming language based on the Calculus of Constructions. (HN)
- Salt - Compilation target that functional programmers always wanted.
- Discus - Experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects.
- Keli (Motivations) (HN)
- F# - Open-source, cross-platform functional programming language for .NET.
- Tyrade - Pure functional language for type-level programming in Rust.
Lisp
- Common Lisp - Modern, multi-paradigm, high-performance, compiled, ANSI-standardized, most prominent (along with Scheme) descendant of the long-running family of Lisp programming languages.
- 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.
- Carp - Statically typed lisp, without a GC, for real-time applications. (Snippets)
- Urn - Lisp implementation for Lua. (Code) (Lobsters)
Multi paradigm
- C - General-purpose, imperative, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.
- D - General-purpose programming language with static typing, systems-level access, and C-like syntax.
- 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.
- Ring - Innovative and practical general-purpose multi-paradigm language.
Funny
- dogescript - Wow so syntax very doge much future.
- C-plus-Equality - Feminist programming language.
Other
- 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. (HN)
- PowerShell - Cross-platform strongly dynamic typed object-based with functional features automation and configuration language.
- 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.
- Pony - Open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. (Code)
- Mare - Reimagining of the Pony language in Crystal.
- Clay - Programming language designed for Generic Programming.
- Smudge - Domain-specific language for state machines.
- Felix - Advanced, statically typed, high performance scripting language with native C++ embedding.
- StarShip - Interpreted, strongly typed, and functional programming language written in Swift.
- DaCE - Data-Centric Parallel Programming.
- Beef - Open source performance-oriented compiled programming language which has been built hand-in-hand with its IDE environment.
- Verona - Research programming language to explore the concept of concurrent ownership.
- Factor - Practical stack language. (Lobsters)
- wenyan - Esoteric programming language that closely follows the grammar and tone of classical Chinese literature.
- Titan - New programming language, designed to be a statically-typed, ahead-of-time compiled sister language to Lua.
- Odin - Fast, concise, readable, pragmatic and open sourced. It is designed with the intent of replacing C.
- Taichi - Productive programming language for portable, high-performance, sparse & differentiable computing.
- XL - Extensible programming language designed to accomodate a variety of programming needs with ease.
- ABS - Programming language that works best when you're scripting on your terminal.
- ThinScript - Low-level programming language inspired by TypeScript.
- Makam - Tool for rapid language prototyping.
- fe - Tiny, embeddable language implemented in ANSI C. (HN)
- Ceu - Reactive language that aims to offer a higher-level and safer alternative to C.
- Monkey in Go
- Monkey in Rust
- Monkey in TypeScript
- Pointless - Scripting language for learning and fun. (Web)
- Jai - High-level programming language developed by Jonathan Blow.
- Cone - Fast, fit, friendly, and safe systems programming language.
- micro-mitten - Bare-bones Rust-like programming language, stripped down to simplify control-flow structures and the type system. (HN)
- Bolt - Research language with finer-grained concurrency than Rust. (HN)
- Skip - Programming language to skip the things you have already computed.
- wlang
- MiniAgda - Prototypical dependently typed languages with sized types and variances.
- Muon - Modern low-level programming language.
- Yatta - Minimalistic, opiniated, (strongly) dynamically typed, strict, functional programming language, with ML-like syntax, for GraalVM.
- Concurnas - Open source JVM programming language designed for building reliable, scalable, high performance concurrent, distributed and parallel systems. (HN)
- Compose - Experimental programming language. It aims to be teachable, scalable, modern, powerful & precise.
- Mu - Minimal-dependency hobbyist computing stack.
- Mun - Programming language empowering creation through iteration.
- Hugorm - Mission-critical scripting language.
- Lys - Language that compiles to WebAssembly.
- Radiance - Simple language that compiles to WASM.
- FaCT - Flexible and Constant Time Programming Language.
- min - Tiny concatenative programming language and shell.
- Gravity - Embeddable programming language. (Code) (HN)
- Disco - Functional teaching language for use in a discrete mathematics course.
- Wren - Small, fast, class-based concurrent scripting language.
- Inko - Statically-typed, safe, object-oriented programming language for writing concurrent programs.
- Hamler - Haskell-style functional programming language running on Erlang VM. (Code) (Article)
- Luster - Experimental Lua VM implemented in pure Rust.
- Wuffs - Memory-safe programming language (and a standard library written in that language) for wrangling untrusted file formats safely.
- Caledon - Dependently typed, polymorphic, higher order logic programming language.
- Ditto - Super Kawaii Dependently Typed Programming Language.
- Rhai - Embedded scripting language for Rust.
- Pyret - Python like scripting language. (Code)
- Gosu - Pragmatic language for the JVM. (Code)
- Self - Prototype-based dynamic object-oriented programming language, environment, and virtual machine. (Code)
- Vale - Fast, safe, and easy programming language. It uses single ownership with constraint references for memory safety without garbage collection, and an emphasis on modern, readable syntax. (HN)
- Oak - Portable programming language with an compact intermediate representation.
- Luau - Fast, small, safe, gradually typed embeddable scripting language derived from Lua. (FAQ) (HN)
- daScript - High-performance statically strong typed scripting language. (HN)
- Lush - Object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications.
- Luna - Data processing and visualization environment.
Related
