That’s pretty cool. Lately I’ve been dealing with some complex SQL stuff, and I’d love to find some kind of … thing…. maybe something like a property based tester, that can see if some properties of the query can be fasified.

Here’s the repo: https://github.com/uwdb/Cosette