I'm familiar with Jester and Karax - I built a few internal tools at $DAY_JOB using Jester. Karax never really clicked for me sadly, but the DOM manipulation sublibrary it has is nice. But honestly I've been trying to move stuff over to mummy (<https://github.com/guzba/mummy>) which I think is currently the best webserver in Nim.
I haven't directly used HappyX though I've been following it, and while I think it is doing some great stuff and I'd love to see it evolve, I think it is trying to "catch up" to other web frameworks, but do it in Nim, instead of being the 10x improvement that will get people to switch from their existing tools to Nim. The reason I made this post is because I just spent some time over the last few days getting to know Leptos in Rust, and I felt like I could see the vision for how it could become a next generation web framework. But the more I thought about it, the more I felt that Nim is in a better position to get us there, rather than Rust. Hence this post. I think the existing Nim story on the backend is serviceable, but the frontend story is limited to Karax (which I know was made by Araq) but doesn't have signals or the nice server function abstractions that Leptos has. Pardon the rambling
