Just a quick diff between your list and mine, apologies if I missed them or if there is a reason to exclude these:

    - https://github.com/nickc92/ViewSCAD
    - Matt Keeter's stuff (listed here https://www.mattkeeter.com/projects/, including https://github.com/mkeeter/antimony and https://www.mattkeeter.com/projects/ao/, though I see you have libfive)
    - https://solvespace.com/index.pl
    - https://mirmik.github.io/zencad/en/
    - https://github.com/fogleman/sdf

This is from a list entitled "migrate away from OpenSCAD", but somehow I can never manage to do that...

Thanks for this site!