September 2022 monthly "What are you working on?" thread

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
  • xvm

    Ecstasy and XVM

  • Ecstasy (xtclang.org): Currently working on session management for a cloud-based HTTP back end. Not exactly compiler or language stuff, but it certainly is exercising the compiler and language.

  • 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
  • peridot

    Discontinued A fast functional language based on two level type theory

  • I'm finishing up with Peridot! The research goals of the project are close to being accomplished, so I'll be wrapping up soon. I'm really satisfied with it as a proof-of-concept for the ideas it implements. The last main bit of the project is a research paper I'm writing which details the language and its applications in detail.

  • lazuli

    Discontinued A language based upon type-directed program synthesis

  • As I'm putting the finishing touches on the paper, I'm also starting on my next project: Lazuli. I'm still fleshing out the design, but I want to explore type-directed program synthesis in it.

  • lauf

    Bytecode interpreter

  • I've been working on a generic bytecode interpreter the last couple of months. It reached a point where I needed to test it in a real compiler, so I've started writing a C interpreter.

  • clauf

    Discontinued A C interpreter developed live on YouTube

  • I've been working on a generic bytecode interpreter the last couple of months. It reached a point where I needed to test it in a real compiler, so I've started writing a C interpreter.

  • The-Spiral-Language

    Functional language with intensional polymorphism and first-class staging.

  • Two months ago I did a ref counted C backend for Spiral so I might as well plug it now. Since then I've gotten tired of 3d art, and decided to just start writing Heaven's Key.

  • boba

    A general purpose statically-typed concatenative programming language. (by glossopoeia)

  • August was a surprisingly productive month for the Boba compiler. A few highlights:

  • SaaSHub

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

    SaaSHub logo
  • schmu

    A WIP programming language inspired by ML and powered by LLVM

  • I'm still working on my toy language schmu, an ML-inspired language which uses LLVM as backend.

  • SFTD

    Chess engine written in Transd

  • Transd website Chess engine in Transd

  • bluebird

  • I started working again on my language, bluebird after a long break. I updated the LLVM version I was using.

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

  • July 2022 monthly "What are you working on?" thread

    10 projects | /r/ProgrammingLanguages | 1 Jul 2022
  • Felix: Statically typed, performant scripting language with native C++ embedding

    1 project | news.ycombinator.com | 28 Dec 2023
  • What is gained and lost with 63-bit integers? (2014)

    2 projects | news.ycombinator.com | 12 Aug 2023
  • I hereby officially announce the Elixir type system effort is into development

    2 projects | news.ycombinator.com | 3 Jul 2023
  • What can Category Theory do?

    2 projects | /r/askmath | 22 Jun 2023