Comment by Eridrus
3 days ago
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.
3 days ago
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.