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

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

Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Zigi - Workflow assistant built for devs & their teams
  • SonarLint - Clean code begins in your IDE with SonarLint
  • Scout APM - Truly a developer’s best friend
  • TablaM

    The practical relational programing language for data-oriented applications

    Instead of doing the easy and sensible thing, I'm looking for making a full-feature parser that is error-tolerant, LSP-friendly, and has nice errors.

  • Forscape

    Scientific computing language

    Forscape, currently entirely numerical, is only getting minor edits while I start on a standalone CAS project. It's based on an earlier attempt, and I find myself better suited for the work this time. The logic rules are implemented, like (A ∧ B) ∨ (A ∧ ¬B) ⇒ A. The last iteration taught me it's important to do the logic first, because for arithmetic there are conditional rules like x/x ⇒ 1 if x ≠ 0, else undefined. I am worried if a compiler using CAS for optimisations and features will have scaling problems on large programs, but the project will be an interesting experience at the least.

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

  • butter

    A tasty language for building efficient software. WIP

    Butter has continued in development. Currently working on pretty printer so that I could test out typed ast before working on next stage: mid-level IR and lifetime analysis. It was in hiatus when I was in busy uni stuffs. But now I think I have more time now.

  • nasin-nanpa-pi-toki-pona

    kepeken ilo ni la, sina ken pali e nasin nanpa kepeken toki pona.

    TPPL (nasin nanpa pi toki pona) is another project I have alongside butter. It is an esolang where one writes program purely in grammatical Toki Pona, a constructed language made to be simple and good. TPPL is created very recently and currently made out of air so, expect some empty spot when visiting it!

  • kuroko

    Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

    Kuroko 1.3.0 gets a release candidate. Lots of big things since 1.2.5, like optimized method invocation, more operator overloads, better support for f-string expressions (format specs, =, faster constructions), a long type with my own bigint implementation (this was the last thing I was still regularly opening Python repls for, so a huge personal win). I also fixed a bunch of little things that have been nagging me, like the compiler can now compile expressions directly, which allowed me to remove the kludge that made the repl work previously. The WASM web repl also got some love with a port of the core of Hiwire from Pyodide, giving a very straightforward interface between JS and Kuroko in a browser - and I rebuilt the web IDE on it. I've also been working on a new compiler, which will hopefully form the basis of 2.0 - and this might be the last 1.x release (though I expect at least a few 1.3.x bug fix releases).

  • kuroko-wasm-repl

    In-browser REPL for Kuroko

    Kuroko 1.3.0 gets a release candidate. Lots of big things since 1.2.5, like optimized method invocation, more operator overloads, better support for f-string expressions (format specs, =, faster constructions), a long type with my own bigint implementation (this was the last thing I was still regularly opening Python repls for, so a huge personal win). I also fixed a bunch of little things that have been nagging me, like the compiler can now compile expressions directly, which allowed me to remove the kludge that made the repl work previously. The WASM web repl also got some love with a port of the core of Hiwire from Pyodide, giving a very straightforward interface between JS and Kuroko in a browser - and I rebuilt the web IDE on it. I've also been working on a new compiler, which will hopefully form the basis of 2.0 - and this might be the last 1.x release (though I expect at least a few 1.3.x bug fix releases).

  • boba

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

    The next large feature for Boba (a general-purpose concatenative language) is language integrated property tests.

  • Zigi

    Workflow assistant built for devs & their teams. Automate the mundane part of your day, with live actionable messages for your GitHub & Jira tasks.

  • minithesis

    A very minimal implementation of the core idea of Hypothesis

    I've never made a system like this before, and my initial research seems to suggest that it's a lot of work. Doing a lot of work before being able to use a feature is not my favorite thing, so I looked for really basic implementations of property testing that I could model. Minithesis seems like a small but comprehensive start.

  • xvm

    Ecstasy and XVM

    Quite a few improvements in Ecstasy over the past month:

  • outrun

    I’ve been working on Outrun which has no pretensions other than being something fun I wanted to make.

  • Charm

    Source code for the Charm programming language (by tim-hardcastle)

  • Charm-MacOS

    MacOS executable for Charm

  • sprachli

    I'm working on Sprachli, just for fun. It's currently a very simple imperative language with rust-like syntax and a bytecode VM, with only string numbers and booleans supported and those not comprehensively. I plan to evolve this either in the direction of a simple scripting language that could be embedded e.g. as an spreadsheet-style formula language, or on the completely opposite side of the spectrum a statically typed language to experiment with the Hindley-Milner type system and effect. So yeah, not much tere yet, but I'm enjoying the work

  • ric-script-advent-of-code

    Solving advent of code problems with ric-script

    started solving advent of code problems with ric script. Link: https://github.com/Ricardicus/ric-script-advent-of-code

  • grace

    The Grace Programming Language (by ryanjeffares)

    I've made a lot of great progress on Grace, my bytecode interpreted language. Its syntax is inspired by Python, but it's very opinionated with some more "rigid" semantics. While there are probably some bugs I need to find and weird syntax errors I haven't tried yet that will break the compiler, it's got functions, control flow, file importing, built in primitive types and lists and dictionaries, and exceptions fully implemented.

  • ShnooTalk

    ShnooTalk is a new programming language

    I have started working on a standard library for my language called ShnooTalk. ShnooTalk is a statically typed compiled language that uses LLVM as the backend. ShnooTalk has its own custom IR definition that is than translated to LLVM IR.

  • raylib

    A simple and easy-to-use library to enjoy videogames programming

    I am also planning to have bindings for raylib so I can start using the language to make some games.

  • rlox

    VM and compiler for the Lox programming language (http://craftinginterpreters.com) implemented in Rust (by ThomasBollmeier)

    Great, I do the same:-). I have however only proceeded with my implementation to the Pratt expression parsing so far: https://github.com/thomasbollmeier/rlox

  • tailspin-v0

    A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting

    Finished off the implementation of typed and offset array indices in Tailspin

  • awesome-low-level-programming-languages

    A curated list of low level programming languages (i.e. suitable for OS and game programming)

    More of a meta project to help me understand the "space": awesome-low-level-programming-languages

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

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