porth VS formik-mui

Yes, unless there's another language I'm unfamiliar that shares the name. But the inspiration and some core ideas came from Porth: https://gitlab.com/tsoding/porth

Here's an interesting solution: in the language Porth which was inspired by forth (but takes some drastically different choices), there's an option to create separate scored bindings, which can either consume items from the top of the stack, or duplicate them, leading to some very slick solutions to the problem of limited access to the stack.

I personally haven't done that, but a very simple example, that I can think of is this one: porth-mode.el. The minor-mode doesen't do much, but maybe it helps understand the basic concepts.

You might want to look into Porth; IMO RPN doesn't have to be hard to read, Forth is just really terse and not very modern.

I believe Tsodings - Porth is a single pass compiler. Currently in development - it has some great vlogs and is also self hosting. He's recently said that re-implementing Porth straight up has become an issue for him - so please just take inspiration only. I suspect a concatenative language is quite a natural fit for a single pass compiler.

Tsoding did with his porth. Original conpiler written in python then reimplemented in porthq https://gitlab.com/tsoding/porth