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

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

Our great sponsors
  • InfluxDB - Access the most powerful time series database as a service
  • Sonar - Write Clean C++ Code. Always.
  • SaaSHub - Software Alternatives and Reviews
  • 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.

  • peridot

    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.

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • lazuli

    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

    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:

  • Sonar

    Write Clean C++ Code. Always.. Sonar helps you commit clean C++ code every time. With over 550 unique rules to find C++ bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.

  • 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