29 ms·

It's https://github.com/verus-lang/verus https://github.com/verus-lang/verus It's not my own project, but it's doing basically the same thing you are doing whi

by Eridrus 3mo ago

It's https://github.com/verus-lang/verus 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.

bneb-dev 3mo ago
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.
- Hugsbox 3mo ago
  So you're just going to gloss over all the rest of the very valid points he's making?