So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel!

A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere.

Today: Rust. Tomorrow: The world! (Muahaha)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

@DRMacIver omg write another library

(just kidding, congrats and good luck!)

@tintvrtkovic What do you want from me! I wrote https://github.com/DRMacIver/shrinkray

It's a totally different testing tool that results from me obsessing about test-case reduction! I have breadth and versatility!

GitHub - DRMacIver/shrinkray: Shrinkray is a modern multi-format test-case reducer

Shrinkray is a modern multi-format test-case reducer - DRMacIver/shrinkray

GitHub