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

  2. InfluxDB

    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.

    InfluxDB logo
  3. 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.

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

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

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

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

  8. boba

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

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

  9. SaaSHub

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

    SaaSHub logo
  10. schmu

    programming with second class references

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

  11. SFTD

    Chess engine written in Transd

    Transd website Chess engine in Transd

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