Comment by bneb-dev
3 days ago
I'm not sure what the point of bringing up Versus is. Is it https://verus.io/ ? Is it a plug for your own project?
There are several points you made where I think we just fundamentally disagree so I'll decline to engage further at this point.
Hope you have better luck with your candidates and your own projects. I look forward do seeing them on HN down the road!
It's https://github.com/verus-lang/verus
It's not my own project, but it's doing basically the same thing you are doing which is why it is relevant.
With 92 contributors, I'd bet that The Vera Project is much more mature.
Salt has some different ergonomics and performance goals though, which makes this project unique.