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

• xvm

  39 173 7.6 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

  13 388 3.1 Haskell

  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

  www.influxdata.com

  sponsored

  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

  1 0 10.0 Rust

  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

  5 47 10.0 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

  5 40 10.0 C++

  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

  12 873 0.0 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

  9 39 8.8 F#

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

  

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

• Sonar

  www.sonarsource.com

  sponsored

  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

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

  1 0 10.0

  Chess engine written in Transd

  Transd website Chess engine in Transd

• bluebird

  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