Skip to content

Hegel is a universal property-based testing protocol and family of libraries, built on Hypothesis.

Hegel is primarily maintained by Hypothesis developers, as part of their work at Antithesis1. It is our attempt to bring the quality of property-based testing found in Hypothesis to every language. While Hegel will eventually have superpowers inside of Antithesis, Hegel is designed first and foremost to be a family of high-quality property-based testing libraries on its own terms.

Our current Hegel libraries are:

If you want to learn more, check out the website.

Footnotes

  1. Hence the name Hegel. It's a philosophy joke. ↩

Pinned Loading

  1. hegel-rust hegel-rust Public

    Property-based testing for Rust, built on Hypothesis

    Rust 401 36

  2. hegel-skill hegel-skill Public

    An agent skill for writing Hegel tests

    85 8

  3. hegel-go hegel-go Public

    Property-based testing for Go

    Go 104 5

  4. hegel-cpp hegel-cpp Public

    Property-based testing for C++, built on Hypothesis

    C++ 22 3

  5. hegel-typescript hegel-typescript Public

    Property-based testing for TypeScript, built on Hypothesis

    TypeScript 74 4

Repositories

Showing 10 of 14 repositories
  • hegel-go Public

    Property-based testing for Go

    hegeldev/hegel-go's past year of commit activity
    Go 104 MIT 5 3 2 Updated Oct 16, 2026
  • hegel-ocaml Public

    Property-based testing for OCaml, built on Hypothesis

    hegeldev/hegel-ocaml's past year of commit activity
    OCaml 24 MIT 5 1 1 Updated Oct 16, 2026
  • hegel-rust Public

    Property-based testing for Rust, built on Hypothesis

    hegeldev/hegel-rust's past year of commit activity
    Rust 401 MIT 36 32 2 Updated Oct 16, 2026
  • hegel-java Public

    Property-based testing for Java, built on Hypothesis

    hegeldev/hegel-java's past year of commit activity
    Java 25 MIT 5 1 0 Updated Oct 16, 2026
  • hegel-typescript Public

    Property-based testing for TypeScript, built on Hypothesis

    hegeldev/hegel-typescript's past year of commit activity
    TypeScript 74 MIT 4 6 3 Updated Oct 16, 2026
  • hegel-zoo Public

    Property-based tests for open-source projects, in every language Hegel supports.

    hegeldev/hegel-zoo's past year of commit activity
    Python 4 0 0 0 Updated Oct 14, 2026
  • hegeldev/hegel-go-modproxy's past year of commit activity
    Go 0 0 0 0 Updated Oct 14, 2026
  • website Public

    Hegel's website and docs

    hegeldev/website's past year of commit activity
    HTML 0 MIT 5 3 1 Updated Oct 14, 2026
  • hegel-skill Public

    An agent skill for writing Hegel tests

    hegeldev/hegel-skill's past year of commit activity
    85 MIT 8 1 1 Updated Oct 13, 2026
  • hegel-cpp Public

    Property-based testing for C++, built on Hypothesis

    hegeldev/hegel-cpp's past year of commit activity
    C++ 22 MIT 3 3 1 Updated Sep 28, 2026

Most used topics

Loading…