programming-languages

Programming language that works best when you're scripting on your terminal.

Compiled language, offering the speed of C but with a considerably simpler programming model.

Programming language that does concurrency for you and can thus separate how the software is written from how it runs.

Language that gets out of your way. (

Simple, modern and powerful interpreted programming language for efficient scripting. (

Fun safe language for rapid prototyping and high performance applications.

Embedded language for high-performance array computations.

Dependently typed functional language.

Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming.

ML-like functional programming language.

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.

Insanely simple self-hosted functional programming language.

General-purpose, strongly typed, performant, readable and safe language.

Low-level functional language for exploring refinement types, lifetime inference, and other fun features. (

General-purpose, imperative, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity. (

General-purpose programming language with static typing, systems-level access, and C-like syntax.

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.

Programming language based on the one-liners of Arnold Schwarzenegger.

Feminist programming language.

Wow so syntax very doge much future.

Statically typed lisp, without a GC, for real-time applications. (

Modern, multi-paradigm, high-performance, compiled, ANSI-standardized, most prominent (along with Scheme) descendant of the long-running family of Lisp programming languages.

dialect of the Lisp programming language used as a scripting language by Emacs with some later influence from Common Lisp. Created by GNU it supports imperative and functional programming methods.

Lightweight, robust, scheme-like lisp implementation.

Lua Lisp Language.

A general programming language running on the JVM platform.

Reactive language that aims to offer a higher-level and safer alternative to C. (

Synchronous reactive language that allows simple expression of parallelism and preemption and is based on logical instants and zero time hypothesis. (

Language for GUI programming that allows program codes to follow the same order as the scenario.

Statically-typed, safe, object-oriented programming languages for writing concurrent programs.