KDL is a small, pleasing document language with xml-like semantics that looks like you're invoking a bunch of CLI commands! It's meant to be used both as a serialization format and a configuration language, much like JSON, YAML, or XML.

Related contents:

• Abstraction, not syntax @ Ruud van Asseldonk.

Kotlin is a modern but already mature programming language designed to make developers happier. It's concise, safe, interoperable with Java and other languages, and provides many ways to reuse code between multiple platforms for productive programming.

• 287 - Kotlin Multiplatform - Romain Boisselle - One lib to rule them all @ <ifttd> :fr:.
• The Country That Broke Kotlin @ Sam Cooper's Medium.

A simple syntax for complex argumentation.

• Listing pros & cons in Argdown is as simple as writing a twitter message. You don't have to learn anything new, except a few simple rules that will feel very natural.

• With these simple rules you will be able to define more complex relations between arguments or dive into the details of their logical premise-conclusion structures.

• Argdown @ GitHub.

The Programming Language compiled to Bash. Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.

• Amber @ GitHub.

Triton is a language and compiler for parallel programming. It aims to provide a Python-based programming environment for productively writing custom DNN compute kernels capable of running at maximal throughput on modern GPU hardware.

• Triton @ GitHub.

A fast, friendly, functional language.

• Roc @ GitHub.

Related contents:

• Episode #645: The Roc programming language @ Changelog Interviews.

Cadence, the resource-oriented smart contract programming language 🏃‍♂️ .

Cadence is a resource-oriented programming language that introduces new features to smart contract programming that help developers ensure that their code is safe, secure, clear, and approachable.

• Cadence @ GitHub. - Better Smart Contract Security With Fine-Grained Permissions in Cadence @ DZone.

Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.

• Zig @ GitHub.

Related contents:

• Zig guide.
• Episode #635: The 1000x faster financial database @ Changelog Interviews.
• Things Zig comptime Won’t Do @ matklad.
• Zig’s Lovely Syntax @ matklad.
• Reserve First @ matklad.
• Why I am learning Zig in 2025 @ Melkey's YouTube.

Langium is an open source language engineering tool with first-class support for the Language Server Protocol, written in TypeScript and running in Node.js.

Langium @ GitHub.

Parser Building Toolkit for JavaScript.

Chevrotain is a blazing fast and feature rich Parser Building Toolkit for JavaScript with built-in support for LL(K). Grammars and 3rd party plugin for LL(*) grammars. It can be used to build parsers/compilers/interpreters for various use cases ranging from simple configuration files, to full-fledged programing languages.

Chevrotain @ GitHub.

Programming Protocol-independent Packet Processors (P4) is a domain-specific language for network devices, specifying how data plane devices (switches, NICs, routers, filters, etc.) process packets.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation.

V @ GitHub.

Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

Reason @ GitHub.

Clojure is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool.

D2 is a diagram scripting language that turns text to diagrams. It stands for Declarative Diagramming. Declarative, as in, you describe what you want diagrammed, it generates the image.

D2 @ GitHub.

TypeScript is JavaScript with syntax for types. TypeScript is a strongly typed programming language that builds on JavaScript, giving you better tooling at any scale.

TypeScript is a language for application-scale JavaScript. TypeScript adds optional types to JavaScript that support tools for large-scale JavaScript applications for any browser, for any host, on any OS. TypeScript compiles to readable, standards-based JavaScript.

• TypeScript @ GitHub.

Related contents:

• Hyper-Typing @ Paolo Scanferla.
• Identify and Fix Code Smells in TypeScript @ Engroso's dev.to.
• Satisfies in TypeScript @ Frontend Masters Blog.
• The Temporal Dead Zone, or why the TypeScript codebase is littered with var statements @ Vincent Rolfs.

A data templating language for app and tool developers.

• Generate config data

• Side-effect free

• Organize, simplify, unify

• Manage sprawling config

• Jsonnet @ GitHub.

Related contents:

• Abstraction, not syntax @ Ruud van Asseldonk.

A WYSIWYG language for data processing.

Dart helps you craft beautiful, high-quality experiences across all screens, with:

A client-optimized language
Rich, powerful frameworks
Delightful, flexible tooling

CakeML is a functional programming language with a proven-correct compiler and runtime system.

A Language with Dependent Types. Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML, and include:

Lhogho is a free version of the programming language Logo and a promoter of its educational philosophy. It is specially designed to be performant, miniature, open-minded and ... artistic.

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.

Statically typed programming language for the JVM, Android and the browser

Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).

A functional reactive language for interactive applications

Learn a language

Opa is a concise and elegant language for writing distributed web applications.