Build simple, secure, scalable systems with Go.

• Le Go : décryptage du langage et premiers retours d'expérience @ AXOPEN :fr:.

Cross-Language Serialization for Relational Algebra.
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Substrait is a format for describing compute operations on structured data. It is designed for interoperability across different languages and systems.

• Substrait @ GitHub.
• Your November Dose of Data - November 2024 @ Data Council.

Flock is Flutter+ • Flock is a fork of Flutter. Flock stays up to date with Flutter, and also adds new community features.

• Flock @ GitHub.
• We're forking Flutter. This is why. @ Flock blog.

The goal of this proposal is to advance a superset of C++ with a rigorously safe subset. Begin a new project, or take an existing one, and start writing safe code in C++. Code in the safe context exhibits the same strong safety guarantees as code written in Rust.

• Episode 592 - C++ Safety Dance @ <Coder Radio>.
• What is the new safe C++ proposal and what do programmers need to know? @ TNW.

A TypeScript superset that favors more types and less typing.

A Programming Language for the New Millenium.
Code More with Less in a TypeScript Superset.

Civet is a programming language that compiles to TypeScript or JavaScript, so you can use existing tooling (including VSCode type checking, hints, completion, etc.) while enabling concise and powerful syntax. It starts with 99% JS/TS compatibility, making it easy to transition existing code bases. Then it adds many features and syntactic sugar, with some highlights below and more comprehensive examples in the reference.

• Civet @ GitHub.

Gleam is a friendly language for building type-safe systems that scale!

• Gleam @ GitHub.
• 6 years with Gleam @ Peter Saxton.

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

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

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.