Not well known programming languages with interesting features?

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

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. sixten

    Functional programming with fewer indirections

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

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. verona

    Research programming language for concurrent ownership

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

  4. Beef

    Beef Programming Language (by beefytech)

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

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

  6. pony-tutorial

    :horse: Tutorial for the Pony programming language

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

  7. ante

    A safe, easy systems language

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

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

  9. 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
  • Vlang 0.4.1 Released

    1 project | news.ycombinator.com | 20 Mar 2025
  • 5 Best Programming Languages to Learn: Decoding the Future

    4 projects | dev.to | 22 Feb 2025
  • Zig's Comptime Is Bonkers Good

    5 projects | news.ycombinator.com | 7 Jan 2025
  • Mint: The programming language for writing single page applications

    1 project | news.ycombinator.com | 11 Jan 2025