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

• kesh

  11 19 6.0 JavaScript

  A simple little programming language that could one day compile to JavaScript.

  

I like the way you think. I had the same goal with kesh. A minimal syntax is easier on the eye and lets you focus on the actual code.

• imp

  2 12 0.0 Java

  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.

  

In August I finished the module system for Imp. I’ve been designing Imp from the start to support the programmer’s confidence in their code, and the module system is no different. Imp is based on the JVM so each file eventually becomes one (or more) classes but that’s abstracted away from the user. This sub’s Discord has been so helpful for asking people about these concepts and for opinions on my design decisions.

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

  

• konna

  6 11 0.0 Haskell

  A fast functional language based on two level type theory

Working on a rewrite of Konna (formerly Clamn). After using Rust for a little over a year in the original implementation, I decided I wasn't enjoying it. I'm using Haskell for the rewrite - I'd always wanted to write a big project in Haskell anyway haha. Definitely enjoying the higher-level conveniences it offers. The rewrite has been underway for about two weeks now, and so far I've got basic dependent types and partial evaluation implemented.

• bluebird

  11 25 0.0 C++

  A work-in-progess programming language modeled after Ada and C++ (by csb6)

I fworked some more towards adding pointers on my Ada-like programming language bluebird. I've finished adding pointer types and variables (as well as the operators for dereferencing/getting the address of objects), but I still need to add the ability to dereference and assign.

• pika

  4 35 7.1 Rust

  A WIP little dependently-typed systems language (by naalit)

I just switched Pika to using significant indentation. This is mostly because of how annoying line continuation is in a ML-style language (so f a b syntax) without significant indentation or required semicolons, but you can read more about the reasons for that decision in this section of the README.

• durin

  3 13 0.0 Rust

  the Dependent Unboxed higher-oRder Intermediate Notation

I also fixed lots of bugs in the GC and backend, so it should be a lot more stable now.

• Cwerg

  59 396 9.7 Python

  The best C-like language that can be implemented in 10kLOC.

Cwerg, a new lightweight compiler backend, is getting a WASM frontend and hopefully loses many cases of undefined behavior in September.

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

  

Suggest a related project