The goal "a new b-rep CAD kernel, written in Rust;"[0] is extremely ambitious. This would be the single most valuable long term contribution coming from this project if it succeeds.

[0] https://github.com/sponsors/hannobraun

https://github.com/ricosjp/truck

And it has a long way to go. They are tackling some hard problems like dealing with STEP format already.

There is also a geometric constraint solver written in Rust. He's moved to (I think gitlab) but here's the old repo: https://github.com/phkahler/constraints