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

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

Our great sponsors
  • Onboard AI - ChatGPT with full context of any GitHub repo.
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern API for authentication & user identity.
  • clauf

    A C interpreter developed live on YouTube

    I've continued working on developing my C interpreter: https://github.com/foonathan/clauf

  • TablaM

    The practical relational programing language for data-oriented applications

    Start moving with the new interpretation engine for my TablaM.

  • Onboard AI

    ChatGPT with full context of any GitHub repo. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at app.getonboardai.com.

  • sirius

    The Sirius programming langauge (by lorentzj)

    Restarting work on https://github.com/lorentzj/serious. I have a clearer objective now: an array-oriented DSL to embed in python to build transformations/models like tensorflow with automatic array shape and access checks. For example, multiplying two matrices, automatically verifying that the first's second dimension size is equal to the second's first dimension size.

  • CSpydr

    A static typed low-level compiled programming language inspired by Rust and C

    After somewhat completing my previous programming language [CSpydr]https://github.com/spydr06/cspydr, I've started again from scratch with a new language called [Astatine]https://github.com/spydr06/astatine.

  • astatine

    Astatine is a is a mid-level, statically typed, procedural programming language with some functional components.

    After somewhat completing my previous programming language [CSpydr]https://github.com/spydr06/cspydr, I've started again from scratch with a new language called [Astatine]https://github.com/spydr06/astatine.

  • candy

    🍭 A sweet programming language that is robust, minimalistic, and expressive. (by candy-lang)

    Continued working on Candy (https://github.com/candy-lang/Candy).

  • SynthML

    A programming language for type-directed program synthesis

    I’ve started on my new language, SynthML! The project’s goal is to make program synthesis user-friendly and approachable. I’m also keeping a devlog for the project.

  • InfluxDB

    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.

  • mighty

    The last validation library you will ever need!

    I wrote a specification a while back for an Expression Language for data validation (mostly for input in loosely typed languages) called Mighty. It’s a pretty simple, expressive, and powerful language that makes validating structured data a breeze. I already implemented it in PHP and currently working on implementing it in other languages (JavaScript makes sense the most right now). The goal is to make an embeddable language to unify how data is validated across multiple languages.

  • boba

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

    September was another productive month for Boba, which is starting to get more 'quality of life' improvements rather than broad new features. That doesn't make the work less important: one of the bug fixes to the type inference engine last month caught a previously unseen bug in the core Boba libraries!

  • boba-core

    Core Boba definitions necessary for all Boba pearls and programs to compile

    With all of this, the Boba core library has been moved out of the compiler repository to be separately maintained, although they're still very closely linked.

  • langs

    I've already put together a download page to see what those possibilities might look like when presented, although the product itself is not ready.

  • xvm

    Ecstasy and XVM

    FWIW - here is the stage manager code that I referred to.

  • Cwerg

    A systems programming language with a reusable backend

    Current work is focused on finding the right feature set. After spending way too much time on thinking about a concrete syntax I decided to instead work on the AST and use S-Expr to serialize it. I plan on sticking with the S-Expr as the "file format" and offer tooling to go back and forth to the yet to be defined concrete syntax.

  • caesura

    an array programming language

    I've been doing some work on my Iversonian array language caesura, which just receved a primitive type system with monomorphised functions for arithmetic.

  • hindley-milner

    simply typed lambda calculus with hindley-milner type inference (by differenzkern)

    I'm working on my toy language: https://github.com/differenzkern/hindley-milner So far I've got hindley milner inference with let polymorphism and algebraic data types.

  • kcl

    KCL Language Core. KCL is a constraint-based record & functional language mainly used in configuration and policy scenarios. (CNCF Sandbox Project). https://kcl-lang.io

    Two years ago, I was writing a project named KCL in Python: https://github.com/KusionStack/KCLVM/ 。 Fortunately, two years later, I was still working in this project, but I changed from Python to Rust. Using Python did bring some benefits. It was easy to get started and the code was easy to understand, but it finally brought fatal problems to our project, with poor performance. So we used Rust to rewrite the entire compiler implementation, which has brought about a great performance improvement. Some modules have a 20-40 times significant improvement. So we directly chose Rust as the next compiler in blockchain smart contract language, but it is not open source. In the whole process, it is found that Rust's comprehensive quality is really excellent (the performance of the first echelon, and the degree of abstraction is sufficient). Although there is some cost in some language features, such as lifetime, it is not rich in ecology.

  • WorkOS

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

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