Awesome I think so too. I love exploring this space in general. It's really interesting to see how you can model problems this way. Reactivity isn't a solution to a single problem but a way of modelling any problem
Solid actually can work runtime only too but I do put most of my effort on the compiler since I can use it to overcome most of the classic shortcomings of the reactive approach performance wise (and DX wise) with a bit of consideration.
Would love to compare notes - you can check out (very much WIP progress) at https://github.com/sreekotay/reefer
It's been only a few weeks of fun... but REALLY interesting problem space. I use a DOM memo-ish approach to help with performance...