Universal property-based testing protocol, built on Hypothesis
☆95Jul 1, 2026Updated last week
Alternatives and similar repositories for hegel-core
Users that are interested in hegel-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An agent skill for writing Hegel tests☆62Jun 12, 2026Updated last month
- Property-based testing for Rust, built on Hypothesis☆283Updated this week
- AI Skills for Antithesis Users☆77Updated this week
- An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when t…☆27Jul 7, 2026Updated last week
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Color adjustment in Nix☆45Jun 16, 2025Updated last year
- Internal Services Cluster☆21Jul 6, 2026Updated last week
- A nix language configuration framework based on POP: Pure Object Prototypes☆14Apr 19, 2026Updated 2 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 3 months ago
- Personal AI assistant via Matrix Chat - A slightly saner alternative to OpenClaw☆49Jul 3, 2026Updated last week
- Trace calls in Elixir processes☆41Apr 18, 2026Updated 2 months ago
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- A simple (experimental) tool for generating Kubernetes manifest from templates based on CUE☆25Nov 21, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Property-based testing for Go☆70Updated this week
- Tracing based copy-and-patch compiler for low-latency realtime Python☆75Jun 17, 2026Updated 3 weeks ago
- Completion-based I/O for Rust. No runtime, no hidden tasks.☆74Updated this week
- Companion tool to https://github.com/ryantm/agenix☆44Aug 5, 2025Updated 11 months ago
- 2024 Election for the Steering Committee☆31Nov 11, 2024Updated last year
- Dockerized flask app template with factory pattern architecture☆13May 1, 2023Updated 3 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆45Mar 29, 2026Updated 3 months ago
- The code repository from plang programming language☆64Updated this week
- A curated list of awesome flake-parts resources, modules, and examples. Flake-parts is a framework for writing Nix Flakes.☆54Apr 16, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- DC-SCM LTPI Reference Implementation☆23Jan 13, 2026Updated 6 months ago
- Easy bindings between Lean and Python.☆33May 27, 2026Updated last month
- Antithesis SDK for Rust☆35Updated this week
- Delta based deployment tool for Nix☆57Jun 21, 2026Updated 3 weeks ago
- The fastest way to pull values out of JSON in Go — zero allocations, no structs, no full parse☆30Jun 6, 2026Updated last month
- A simple embedded programming language☆19Apr 30, 2026Updated 2 months ago
- ☆17Jun 1, 2026Updated last month
- Maveniverse Nisse☆19Updated this week
- Property-based testing for web and terminal UIs☆1,343Jul 3, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Remove unused GitHub forks☆23Jun 22, 2026Updated 3 weeks ago
- ☆23Dec 5, 2025Updated 7 months ago
- Auth + Google = Augle☆21Dec 6, 2019Updated 6 years ago
- Operator for CNCF Distribution Registry 📦☆10Updated this week
- Key-value store attached to git commits using Git notes☆30May 26, 2026Updated last month
- A library to test Erlang documentation☆16May 17, 2026Updated last month