fsharp-hedgehog-xunit VS Transmute

I totally agree - the ability to write tests with random data is fantastic. Here's an example with Hedgehog.Xunit (shameless plug) that's somewhat similar to your gzip example in that it tests the inverse property of List.rev:

Disclaimer: I maintain Hedgehog.XUnit.

I just "finished" building Hedgehog.Xunit, which adds some convenience attributes to Hedgehog, a property-based testing library similar to FsCheck. The distinguishing feature is that shrinking comes for free with Hedgehog, whereas you have to customize shrinkers in FsCheck. An blog comparing the two. There's also a cleaner API; no more Arb.

Last month I rewrote the transducer module's guts from the ground up. I'm super excited about this because it's really been more of a meditation on language and computation, but now that I've eliminated the most pernicious bugs, it basically works! Try the browser demo. I'm still figuring out how to use web workers with Fable, so if you want to see how fast it can go when it's running on all your cores, try one of the binaries.

Working on bug fixes and usability improvements in Transmute. Thinking about turning it out on a less technical audience this year.

Finally got my completely overengineered sound change applier working. Still got kind of a long list of todos, first one being insertion rules, which might be a problem. Parts of this thing are probably due for refactoring, if not a rewrite.