Our great sponsors
-
-
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.
-
kuroko
Discontinued Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
-
-
-
WorkOS
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.
-
-
rlox
VM and compiler for the Lox programming language (http://craftinginterpreters.com) implemented in Rust (by ThomasBollmeier)
-
tailspin-v0
A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
-
awesome-low-level-programming-languages
A curated list of low level programming languages (i.e. suitable for OS and game programming)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
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, 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.
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.
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 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 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).
The next large feature for Boba (a general-purpose concatenative language) is language integrated property tests.
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.
Quite a few improvements in Ecstasy over the past month:
I’ve been working on Outrun which has no pretensions other than being something fun I wanted to make.
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
started solving advent of code problems with ric script. Link: https://github.com/Ricardicus/ric-script-advent-of-code
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.
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.
I am also planning to have bindings for raylib so I can start using the language to make some games.
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
Finished off the implementation of typed and offset array indices in Tailspin
More of a meta project to help me understand the "space": awesome-low-level-programming-languages