Plangs!

Name	Description
.NET	Cross-platform, open-source framework known for supporting multiple programming paradigms.
Ada	High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems.
Agda	Dependently typed functional programming language and proof assistant used for writing and verifying proofs.
Alda	Text-based programming language for music composition with simple syntax for musicians and programmers.
AMPL	Algebraic modeling language for complex optimization problems in large-scale computing.
APL	A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming.
Assembly	Low-level programming language closely aligned with machine code instructions.
AWK	Text processing and data extraction, common on Unix-like systems.
Ballerina	Open source general-purpose programming language designed for cloud-native and concurrent applications.
Bash	Shell and command language supported by the Free Software Foundation.
BASIC	Family of high-level programming languages created in 1964 to make programming more accessible.
Beef	High-performance language for real-time applications with manual memory management.
Bicep	DSL for deploying Azure resources with a simplified syntax.
Blade	Templating engine integrated with Laravel, enabling PHP logic in HTML.
Boo	Statically typed language with Python-like syntax and support for .NET framework features.
Boomerang	Language for bidirectional transformations on textual data formats.
C++	General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms.
C#	Versatile high-level language supporting multiple programming paradigms.
C	General-purpose language foundational in systems and application programming.
c3	Modern enhancement of C with module systems, semantic macros, and improved error handling, maintaining C compatibility.
Cassette	Simple, DIY personal programming language focusing on fun.
ChucK	Concurrent, real-time audio programming language for synthesis and performance.
Ciao	Modern Prolog implementation focused on portability, extensibility, and modularity.
Cilk	Family of languages designed for parallel computing extending C and C++.
Clang	Compiler front end for C, C++, Objective-C, and Objective-C++, integrating with LLVM.
Clean	Functional programming language known for uniqueness typing and lazy evaluation.
Clojure	Dynamic language known for its expressiveness and concurrent processing capabilities.
Clozure CL	Free Common Lisp implementation offering full ANSI compliance and several extensions.
CMake	Cross-platform build system that generates build files for software projects.
CodeMonkey	Educational coding platform for beginners, teaching programming concepts through game-based learning.
CoffeeScript	Compiles into JavaScript, enhancing its brevity with syntactic sugar inspired by Haskell, Ruby, and Python.
Common Lisp	A high-performance, ANSI-standardized Lisp dialect recognized for its flexibility and macro system, supporting multiple programming paradigms.
Coq	Interactive theorem prover focused on formal verification and proof checking.
Cozo	A database leveraging Datalog for queries.
Csound	Flexible, high-quality, domain-specific programming language for sound and music computing.
Curry	Declarative language that integrates features of functional and logic programming paradigms
Cython	Is an optimising static compiler for Python and Cython extensions improving performance and interoperability with C.
Dart	Language for building web, mobile, and server apps, with tools to compile to JavaScript and WebAssembly.
Datalevin	A simple, fast and versatile Datalog database.
Datomic	Distributed database with an immutable data model and Datalog implementation.
Eclair	A logic programming language for specifying complex rules over large datasets efficiently.
Eiffel	Object-oriented programming language emphasizing design by contract.
Emacs Lisp	Lisp dialect for extending the Emacs editor.
Eqlog	A logic programming language for Datalog with equality support.
Erlang	Concurrent functional language for scalable real-time systems.
Euphoria	User-friendly language focusing on simplicity and readability, popular for various applications on multiple OS platforms.
Extempore	High-performance language for real-time audiovisual computing and live coding.
F#	Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities.
Fantom	General-purpose object-oriented language, designed for cross-platform use and supporting static and dynamic typing.
FAUST	Designed for sound synthesis and high-performance audio processing, supporting multiple backends.
Fennel	Lua-compatible language with Lisp syntax and macro system.
Flix	Functional, imperative, and logic language focusing on type and effect systems.
Flutter	Toolkit for creating natively compiled cross-platform apps from a single codebase.
Forth	Stack-oriented programming language known for its flexibility, efficiency, and use in embedded systems.
Fortran	Language optimized for high-performance numerical computation and scientific computing.
Free Pascal	Pascal compiler supporting multiple architectures and dialects.
Frink	Performs physical calculations while tracking units of measure.
Futhark	Functional, parallel programming language optimized for high-performance GPU and CPU execution.
Gambit	Scheme implementation with both an interpreter and a C compiler, emphasizing simplicity and performance.
GDB	Portable debugger for Unix-like systems supporting various languages.
GDScript	High-level, dynamically typed language for the Godot Engine.
Gforth	Free and portable implementation of the Forth language adhering to the ANS Forth standard.
Gleam	A general-purpose, functional language that compiles to Erlang and JavaScript, featuring static, inferred typing for concurrent programming.
GNAT	Free Ada compiler in the GCC suite, supporting all Ada versions.
GNU Prolog	A Prolog implementation with an interpreter and native compiler.
GraalVM	High-performance runtime for multiple languages including Java, Python, and WebAssembly, with polyglot capabilities.
Gravity	Lightweight, embeddable programming language supporting multiple paradigms.
Gremlin	Graph traversal language and virtual machine developed by Apache TinkerPop.
GUPU	An environment specialized for Prolog and constraint programming.
Hack	PHP-influenced language with static and gradual typing, used on the HHVM platform.
Haskell	Statically-typed, purely functional language known for type inference and lazy evaluation.
HCL	Declarative configuration language used in Terraform to define cloud infrastructure resources.
HiveQL	SQL-like query language for Hadoop developed by Apache Hive.
HotSpot VM	Java virtual machine known for its just-in-time compilation and adaptive optimization techniques.
Hy	Lisp dialect embedded in Python, facilitating seamless integration with Python libraries and syntax.
Ichiban Prolog	An embeddable ISO Prolog interpreter in Go.
Idris	Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation.
Inko	Language for efficient, safe concurrent software, with features like static typing and type-safe concurrency.
Intel Fortran	High-performance computing compiler suite from Intel, supporting multiple platforms.
Io	A pure object-oriented language with a prototype-based model, inspired by Smalltalk, Self, and others, emphasizing simplicity, flexibility, and concurrency.
Janet	Versatile, lightweight programming language, ideal for embedded scripting in C/C++ with functional and imperative paradigms.
Jank	clojure-compatible language with an LLVM-based JIT compiler for native performance.
Java	High-level language known for its portability and extensive ecosystem.
JavaScript	Scripting language essential for web interactivity and development.
Jinja	Web template engine for Python, known for its flexible syntax and functionality.
JIProlog	An interpreter for the Prolog language implemented in Java.
jq	Lightweight and flexible command-line JSON processor.
JRuby	Java-based implementation of Ruby, integrating closely with Java for two-way access.
JSON	Lightweight data-interchange format that is easy for humans to read and write and easy for machines to parse and generate.
Jupyter Notebook	Web-based interactive computational environment for creating notebook documents.
Jython	Python implementation for the Java platform, enabling Python code to run on the JVM.
K	Proprietary array language, foundation of kdb+, developed by Kx Systems.
Kotlin	Concise, statically typed language interoperative with Java, targeting JVM and other platforms.
LabVIEW	Graphical environment for data acquisition and industrial automation.
Lisp	Family of programming languages known for its fully parenthesized prefix notation and influence on AI research.
LLVM	Set of compiler technologies for developing language frontends and architecture backends.
Lobster	Statically typed, game-oriented language with Python-like syntax and compile-time memory management.
Logtalk	Object-oriented logic programming language extending Prolog.
Lua	Lightweight, high-level language designed for embedding in applications.
Luau	Lua subset developed by Roblox for game scripting with gradual typing.
Makefile	Tool used for build automation, defining build tasks in makefiles based on file timestamps.
MiniZinc	Language for constraint modelling and solving complex combinatorial problems.
MLton	SML97 compatibile language with advanced optimizations.
Modelica	Non-proprietary, object-oriented language for modeling complex physical systems across multiple domains.
Mojo	Modular language blending Python's syntax with C-like performance.
Mono	.NET compatible software framework.
MoonScript	Dynamic scripting language compiling to Lua with CoffeeScript-inspired syntax.
mruby	Lightweight Ruby interpreter designed for embeddability.
Natlog	A lightweight Prolog-like system designed for interoperability with deep learning tools.
NetLogo	Multi-agent environment for modeling complex systems.
Nim	Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript.
Objective-C	Object-oriented language that extends C with Smalltalk-style message passing.
OCaml	General-purpose, multi-paradigm language extending Caml with OO features.
Odin	A high-performance language, offers an alternative to C for systems programming with a focus on simplicity and data-oriented development.
Orca	Esoteric language for creating procedural sequencers for music and visual applications.
Pascal	An imperative and procedural language designed by Niklaus Wirth, known for encouraging structured programming and data structuring.
Perl	Dynamic language known for its text-processing capabilities.
PHP	Scripting language primarily used for web development.
Picat	A multi-paradigm language integrating functional, logic, and imperative programming features.
PKL	Configuration language for defining data structures and generating JSON or YAML outputs.
Potassco	Targets combinatorial search problems using efficient ASP solvers.
PowerShell	Shell and scripting language from Microsoft.
Processing	Language for visual and multimedia programming.
Prolog	Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks.
Protocol Buffer	Platform-neutral extensible mechanism for serializing structured data developed by Google.
Pure	Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM.
Pure Data	Visual programming language for interactive computer music and multimedia.
PureScript	Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript.
PyPy	High-performance alternative implementation of Python featuring a JIT compiler for speed.
Python	Dynamic, high-level programming language known for its easy-to-read syntax.
QML	Declarative user interface markup language, primarily for Qt Quick applications.
R	Language and environment for statistical computing and graphics.
R5RS	R5RS is the fifth version of Scheme, emphasizing minimalist and functional programming.
Racket	Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries.
Raku	Raku, formerly Perl 6, is a multi-paradigm language in the Perl family, featuring dynamic and gradual typing.
Rascal	Domain-specific language for metaprogramming and implementing domain-specific languages.
Reason	Multi-paradigm language focusing on functional programming, compiling to OCaml and JavaScript.
Rebol	Cross-platform multi-paradigm language known for its dialects and simplicity.
RMarkdown	Document format for creating dynamic reports by integrating R code chunks in markdown-like syntax.
Ruby	Interpreted, high-level language focused on productivity and simplicity.
Rust	General-purpose programming language emphasizing performance, type safety, and concurrency.
Rye	High-level, interpreted programming language focused on simplicity and expressiveness.
Sass	Preprocessor language that compiles to CSS.
SBCL	Open-source, high-performance Common Lisp implementation derived from CMUCL.
Scheme	Minimalistic Lisp dialect known for its functional programming capabilities.
Scopes	Modern, multi-stage programming language with a focus on systems programming and expressiveness.
sed	Unix utility that parses and transforms text, using a compact programming language developed by Lee E. McMahon.
Self	Prototype-based dynamic OOP language, influenced by Smalltalk and APL, impacting JavaScript.
ShaderLab	ShaderLab allows developers to define shaders within the Unity engine for custom graphics rendering.
Shen	Multi-paradigm language blending functional and logic programming for symbolic computation.
ShEx	Used for RDF data validation and description.
Smarty	PHP template engine for separating presentation and application logic.
Soufflé	Parallel logic programming language used for static analysis and reverse engineering, influenced by Datalog.
SQL	Domain-specific language for managing data in relational databases.
Squeak	Modern Smalltalk with a fast execution environment and the Morphic framework.
Squirrel	Object-oriented scripting language designed for applications like video games.
Standard ML	Functional programming language known for its type inference and usage in compiler writing.
Starlark	Python-like configuration language used for application configuration and build automation with tools like Bazel.
SuperCollider	Real-time audio synthesis and music composition.
SWI-Prolog	Implementation of Prolog focused on versatility and rich libraries.
Swift	Developed by Apple for its platforms, with a focus on safety and performance.
Tcl	Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms.
TeX	Typesetting system for scientific and academic documents, designed by Donald Knuth.
Trealla Prolog	An efficient Prolog interpreter with concurrent capabilities.
TXL	Language for creating and manipulating programming languages with pattern-matching.
TypeScript	Strongly typed superset of JavaScript that compiles to plain JavaScript.
Unison	Statically-typed, functional language treating code as data for efficient distributed programming.
V8	V8 is a high-performance JavaScript engine used in Chrome and Node.js.
Vala	Object-oriented language that generates C code using the GObject system.
Vim script	Vim script is the scripting language built into the Vim text editor, designed for user customization.
WebAssembly	Binary instruction format for a stack-based virtual machine for the web.
Whiley	Functional and imperative language with contracts and formal specification features.
Wing	Designed for managing cloud infrastructure and serverless applications.
Wolfram Language	High-level language used in Mathematica, known for symbolic computation and functional programming.
XML	Markup language used for storing and sharing data.
Xojo	Cross-platform development tool and proprietary object-oriented programming language for building native applications.
XPath	Expression language for querying and transforming XML documents.
XProc	XML transformation language for processing documents in pipelines.
XQuery	W3C language for querying and transforming XML data using XPath.
XSB	Prolog dialect with tabled resolution for logic programming and deductive databases.
XSLT	Declarative language for transforming XML documents.
YAML	Human-readable data serialization language for configuration files and data exchange, featuring minimal syntax.
Zig	System programming language designed as an improvement over C/C++ with native error handling and performance enhancements.