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

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/ProgrammingLanguages

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
  • lobster

    The Lobster Programming Language

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

  • Kind

    A modern proof language (by Kindelia)

    Kind: A modern proof language (though functional).

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • dafny

    Dafny is a verification-aware programming language

    Dafny: A modern imperative proof language.

  • urweb

    The Ur/Web programming language

    Ur-Web

  • FStar

    A Proof-oriented Programming Language

    F*

  • sligh

    Experimenting with a language for generating infrastructure code based on an infra-agnostic language

    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

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

    TLA+

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  • Forscape

    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

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

  • awesome-programming-languages

    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

    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

    Unfancy JavaScript

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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts