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

• xvm

  1 189 9.8 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.

• peridot

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

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• lazuli

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

• lauf

  0 62 5.9 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.

• clauf

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

• The-Spiral-Language

  3 900 9.6 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.

• boba

  0 48 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:

• InfluxDB

  www.influxdata.com

  sponsored

  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.

  

• schmu

  0 24 9.5 OCaml

  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

  0 0 10.0

  Chess engine written in Transd

  Transd website Chess engine in Transd

• bluebird

  0 - -

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

Suggest a related project