Sitelet https://github.com/hegeldev
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 391 35

  2. hegel-skill hegel-skill Public

    An agent skill for writing Hegel tests

    83 8

  3. hegel-go hegel-go Public

    Property-based testing for Go

    Go 101 5

  4. hegel-cpp hegel-cpp Public

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

    C++ 21 3

  5. hegel-typescript hegel-typescript Public

    Property-based testing for TypeScript, built on Hypothesis

    TypeScript 70 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 101 MIT 5 3 1 Updated Oct 5, 2026
  • hegel-typescript Public

    Property-based testing for TypeScript, built on Hypothesis

    hegeldev/hegel-typescript's past year of commit activity
    TypeScript 70 MIT 4 6 5 Updated Oct 4, 2026
  • website Public

    Hegel's website and docs

    hegeldev/website's past year of commit activity
    HTML 0 MIT 5 3 7 Updated Oct 4, 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 0 Updated Oct 2, 2026
  • hegel-java Public

    Property-based testing for Java, built on Hypothesis

    hegeldev/hegel-java's past year of commit activity
    Java 25 MIT 4 1 0 Updated Oct 1, 2026
  • hegeldev/hegel-go-modproxy's past year of commit activity
    Go 0 0 0 0 Updated Sep 29, 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 Sep 28, 2026
  • hegel-rust Public

    Property-based testing for Rust, built on Hypothesis

    hegeldev/hegel-rust's past year of commit activity
    Rust 391 MIT 35 32 2 Updated Sep 28, 2026
  • hegel-cpp Public

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

    hegeldev/hegel-cpp's past year of commit activity
    C++ 21 MIT 3 2 1 Updated Sep 28, 2026
  • hegel-skill Public

    An agent skill for writing Hegel tests

    hegeldev/hegel-skill's past year of commit activity
    83 MIT 8 1 0 Updated Sep 17, 2026

Most used topics

Loading…