This doesn't seem to have been updated in a year. How does this compare to other projects such as https://github.com/jsverify/jsverify https://github.com/jsveri

This doesn't seem to have been updated in a year. How does this compare to other projects such as https://github.com/jsverify/jsverify https://github.com/jsverify/jsverify which are currently more active?