Let's talk about interesting language features.

1. TablaM

   1 158 203 0.0 Rust

   The practical relational programing language for data-oriented applications

   

   Yeah, having "rows" is awesome. That was the first thing I want for when I start dreaming about TablaM.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. egison

   2 11 920 0.0 Haskell

   The Egison Programming Language

   

   Egison language. Research language that does some really neat stuff with pattern matching.

4. kesh

   3 11 22 5.7 JavaScript

   A simple little programming language that could one day compile to JavaScript

   

   My (non-existing) language kesh, designed to compile to TypeScript, has expression blocks. That was one of my first decisions.

5. FStar

   4 48 2,870 9.9 F*

   A Proof-oriented Programming Language

   

   This sounds like the approach that F* takes: https://www.fstar-lang.org.

6. ghc-proposals

   5 162 699 8.3 Python

   Proposed compiler and language changes for GHC and GHC/Haskell

   

7. jam0002

   6 1 1 7.7 Python

   It's not exactly the high profile type stuff other people are discussing, but when I started on my LangJam language SeekWhence (name is tentative) last week, I was a little surprised to not have come across any other languages that implement mathematical sequences as a primitive, even among the esoteric crowd. The only other one I know of is cQuents, which is heavily esoteric and designed for code golfing, whereas SeekWhence is very much designed as a "general purpose" language (if you can call a Python interpreter hacked together over the course of a week "general purpose").

8. cQuents

   7 1 6 10.0 Python

   An esoteric golflang that can describe mathematical sequences and series

   

   It's not exactly the high profile type stuff other people are discussing, but when I started on my LangJam language SeekWhence (name is tentative) last week, I was a little surprised to not have come across any other languages that implement mathematical sequences as a primitive, even among the esoteric crowd. The only other one I know of is cQuents, which is heavily esoteric and designed for code golfing, whereas SeekWhence is very much designed as a "general purpose" language (if you can call a Python interpreter hacked together over the course of a week "general purpose").

9. Stream

   getstream.io featured

   Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

   

10. webgl

    8 1 117 2.7 Elm

    Functional rendering with WebGL in Elm (by elm-explorations)

    

    Embedded languages : elm-webgl but Haskell probably has more examples around this.

11. Match.jl

    9 2 254 5.8 Julia

    Advanced Pattern Matching for Julia

    

Suggest a related project