Has there been any progress on that? The projects repo seems somewhat dead.
There seems to be a couple of people keeping the lights on at the project zulip but they are presumably busy with other things.
Ah okay! Would love to see a stable generic_const_expr one day.