Not well known programming languages with interesting features?

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

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • sixten

    Functional programming with fewer indirections

  • [Sixten](https://github.com/ollef/sixten): functional programming with unboxed data by default.

  • verona

    Research programming language for concurrent ownership

  • [Verona](https://github.com/microsoft/verona): concurrent ownership, regions.

  • InfluxDB

    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.

    InfluxDB logo
  • Beef

    Beef Programming Language (by beefytech)

  • [Beef](https://www.beeflang.org/): memory management with first-class allocators.

  • Vale

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

  • [Vale](https://vale.dev/): generational references, safe FFI, regions with region borrow checker, higher RAII, seamless concurrency.

  • pony-tutorial

    :horse: Tutorial for the Pony programming language

  • [Pony](https://tutorial.ponylang.io/): actors, reference capabilities, object capabilities.

  • ante

    A safe, easy systems language

  • [Ante](https://antelang.org/): lifetime inference, refinement types, algebraic effects.

  • felix

    The Felix Programming Language (by felix-lang)

  • [felix] https://github.com/felix-lang/felix Statically typed scripting language with coroutines, functional and procedural programming, polymorphism, explicit kinding, compact linear types, row polymorphism, type classes, C/C++ or better performance.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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

  • Found a language in development called Vale which claims to be the safest AOT compiled language in the World (Claims to beSafer than Rust)

    3 projects | /r/rust | 6 Jun 2023
  • Nelua: Statically typed language with a Lua flavor

    1 project | news.ycombinator.com | 22 Apr 2024
  • Reactive Programming Without Functions

    2 projects | news.ycombinator.com | 24 Mar 2024
  • Top Paying Programming Technologies 2024

    19 projects | dev.to | 6 Mar 2024
  • 7 Programming Languages Every Cloud Engineer Should Know in 2024!

    4 projects | dev.to | 5 Mar 2024