Hey, the author here.

I'm sure I'm missing some, let me know if you know of any.

One project that's not on there and frankly it's too early to list but I'm hopeful for is KittyCAD [1]

Getting funding behind one of these projects could go a long way.

[1] https://kittycad.io/blog/introducing-kittycad

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!