Djot is a light markup syntax. It derives most of its features from commonmark, but it fixes a few things that make commonmark's syntax complex and difficult to parse efficiently. It is also much fuller-featured than commonmark, with support for definition lists, footnotes, tables, several new kinds of inline formatting (insert, delete, highlight, superscript, subscript), math, smart punctuation, attributes that can be applied to any element, and generic containers for block-level, inline-level, and raw content. The project began as an attempt to implement some of the ideas I suggested in Beyond Markdown.

• Djot @ GitHub.

BAML is an expressive language for structured text generation.
BAML is a domain-specific language to write and test LLM functions.

In BAML, prompts are treated like functions. An LLM function is a prompt template with some defined input variables, and a specific output type like a class, enum, union, optional string, etc.

With BAML you can write and test a complex LLM function in 1/10 of the time it takes to setup a python LLM testing environment.

• BAML @ GitHub.

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. It looks like this:

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> .

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.

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:

• Episode #635: The 1000x faster financial database @ Changelog Interviews.

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.

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.