A list of new budding programming languages and their interesting features?

• lobster

  37 2,135 9.4 C++

  The Lobster Programming Language

Lobster: With flow-based type analysis and minimal typing.

• Kind

  21 2,565 9.5 Rust

  Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)

  

Kind: A modern proof language (though functional).

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• dafny

  31 2,665 9.7 C#

  Dafny is a verification-aware programming language

  

Dafny: A modern imperative proof language.

• urweb

  6 797 4.7 Standard ML

  The Ur/Web programming language

  

Ur-Web

• FStar

  42 2,562 9.9 F*

  A Proof-oriented Programming Language

  

F*

• sligh

  8 10 7.9 OCaml

  A language for certifying specification

The language that I work on is Sligh, and it's out of the bulleted list because it's nowhere near as mature as any of those that I listed, and I'm more of a verification enthusiast vs. expert. Almost all of the ideas in it are borrowed from somewhere else, but I think the one quasi-unique idea is it allows you to write a pure logical description / specification of an application, and it generates full-stack web application code from that.

• tlaplus

  38 2,208 9.1 Java

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  

TLA+

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Forscape

  20 54 5.3 C++

  Scientific computing language

I've been playing with a language which includes typesetting and first class support for matrices, Forscape. It aims to provide nice features like auto diff, symbolic computation, and specialised matrix optimisations. There is a disconnect between solving a problem on a whiteboard and implementing it in code which is tedious for people and amenable to compilation. Bridging that gap would make it easier to explore new ideas and to reliably implement complicated ideas. But the current aim is just to get a reasonably stable and polished v1.0 with typeset matrix maths.

• gleam

  95 14,935 9.9 Rust

  ⭐️ A friendly language for building type-safe, scalable systems!

  

• awesome-programming-languages

  10 525 8.3

  The list of an awesome programming languages that you might be interested in

I'm working on collection list of programming languages. Here is the link https://github.com/ChessMax/awesome-programming-languages. That may be helpful.

• Vale

  64 1,672 6.8 Scala

  Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  

I'll throw in Vale which is based in single ownership using something called "generational references" for memory safety, and a new kind of borrow checker called a "region borrow checker" for optimization and fearless concurrency. Feel free to ask any questions!

• coffeescript

  54 16,434 3.0 CoffeeScript

  Unfancy JavaScript

3 days late, but there's this list from CoffeeScript's docs.

Suggest a related project