Universal property-based testing protocol, built on Hypothesis
☆95Jul 1, 2026Updated last month
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☆64Updated this week
- Antithesis SDK for Python☆18May 8, 2026Updated 2 months ago
- Property-based testing for web and terminal UIs☆1,388Jul 3, 2026Updated last month
- AI Skills for Antithesis Users☆96Updated this week
- Property-based testing for Java, built on Hypothesis☆17Updated this week
- 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☆74Updated this week
- Property-based testing for C++, built on Hypothesis☆18Updated this week
- Parts of Nix ported to Rust☆37Jul 23, 2026Updated last week
- Antithesis SDK for Rust☆35Jul 11, 2026Updated 3 weeks ago
- Internal Services Cluster☆21Jul 27, 2026Updated last week
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 4 months ago
- RPC/XDR protocol compiler (from jungerl)☆15Oct 4, 2019Updated 6 years ago
- Use the Nix package manager as a library☆62Updated this week
- A nix language configuration framework based on POP: Pure Object Prototypes☆14Apr 19, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Versioned Binary Application Record Encoding☆26May 22, 2026Updated 2 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Color adjustment in Nix☆45Jun 16, 2025Updated last year
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- diffy's nixos configuration files, written with love using bundle!☆14Updated this week
- Composable flake outputs using the adios module system — the ergonomics of flake-parts without the evaluation overhead.☆32Apr 3, 2026Updated 4 months ago
- A domain specific language to build complex workflows☆15Jun 26, 2026Updated last month
- Run Fastly Compute@Edge Wasm programs on your own computer, powered by wasmtime☆51Updated this week
- Unofficial Node.js wheels, `pip install nodejs-wheel`☆28Updated this week
- 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.
- Unified interface for secrets across NixOS backends (agenix, sops-nix).☆31May 10, 2026Updated 2 months ago
- An auto-active verifier embedded into Lean☆71Jul 6, 2026Updated 3 weeks ago
- Validate and generate configuration files using Nix and Cue☆38May 26, 2022Updated 4 years ago
- PAM + NSS module for Rauthy☆17Jul 16, 2026Updated 2 weeks ago
- ACORN-1 pre-filtered HNSW search for DuckDB☆64Mar 28, 2026Updated 4 months ago
- Cron Jobs in Golang.☆11Jan 14, 2021Updated 5 years ago
- Remove unused GitHub forks☆22Jul 20, 2026Updated 2 weeks ago
- Antithesis SDK for C++☆15May 8, 2026Updated 2 months ago
- nix-based continuous integration system☆202Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Completion-based I/O for Rust. No runtime, no hidden tasks.☆74Jul 11, 2026Updated 3 weeks ago
- Operator for CNCF Distribution Registry 📦☆10Updated this week
- Rust implementation of tailscale-systray☆35Jul 27, 2026Updated last week
- URSC 645 - Urban and Regional Analytics Course☆13Apr 7, 2026Updated 3 months ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆25Mar 20, 2026Updated 4 months ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆36May 6, 2026Updated 2 months ago
- Tracing-based Nix evaluation cacher☆25Apr 7, 2026Updated 3 months ago