It's from 1999. It would probably be better to work directly with a current Nim native library like Design by contract [https://forum.nim-lang.org/t/2479](https://forum.nim-lang.org/t/2479).
Also I'd rather have those graduate students develop actual libraries (with unit tests). I don't think there are any Nim project with the scale for FeaVer not to be overengineering. Also I'm guessing lots of the tests are rendered moot by Nim static checking.