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

1. xvm

   1 110 206 9.7 Java

   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

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

   2 13 388 3.1 Haskell

   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

   3 1 0 10.0 Rust

   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

   4 5 73 3.2 C++

   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

   5 5 40 10.0 C++

   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

   6 33 932 8.2 Python

   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

   7 9 54 2.3 F#

   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

   www.saashub.com featured

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

   

10. schmu

    8 3 24 9.3 OCaml

    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

    9 1 0 10.0

    Chess engine written in Transd

    

    Transd website Chess engine in Transd

12. bluebird

    10 1 - -

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

Suggest a related project