Universal property-based testing protocol, built on Hypothesis
☆95Jul 1, 2026Updated 3 months ago
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☆85Oct 13, 2026Updated last week
- Property-based testing for Rust, built on Hypothesis☆402Updated this week
- Antithesis SDK for Python☆19Sep 29, 2026Updated 3 weeks ago
- Property-based testing for web and terminal UIs☆1,560Updated this week
- ☆47Oct 5, 2026Updated 2 weeks ago
- 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.
- Build Nix packages inside buck2☆35Aug 22, 2026Updated 2 months ago
- Temporary implementation of 'jj run'☆11Nov 1, 2025Updated 11 months ago
- thread-per-core layer cache implementation☆17Updated 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…☆63Updated this week
- An auto-active program verifier in Lean☆131Oct 8, 2026Updated 2 weeks ago
- Property-based testing for C++, built on Hypothesis☆22Updated this week
- AI Skills for Antithesis Users☆299Updated this week
- An incubator for the development of a grammar formalism and parser for the AsciiDoc Language.☆14Mar 1, 2024Updated 2 years ago
- a wonderfully quick, compact, and extensible webassembly runtime for go☆19Updated 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.
- dotfiles☆18Oct 10, 2026Updated last week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Antithesis SDK for Rust☆37Aug 28, 2026Updated last month
- Package goldentest makes it easy to build tests that compare outputs from a system under test against version control-managed reference f…☆17May 28, 2025Updated last year
- A rust port of con-leche☆33Updated this week
- ☆80Jul 23, 2026Updated 3 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 7 months ago
- Parts of Nix ported to Rust☆37Jul 23, 2026Updated 3 months ago
- Versioned Binary Application Record Encoding☆27Oct 10, 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.
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆37Sep 30, 2026Updated 3 weeks ago
- Color adjustment in Nix☆46Jun 16, 2025Updated last year
- Personal NixOS configurations☆14Jun 23, 2026Updated 4 months ago
- Moved to https://git.toostveen.nl/tom/puntbestanden☆15Updated this week
- Internal Services Cluster☆21Updated this week
- Adaptive fuzzing of Hypothesis tests☆125May 15, 2026Updated 5 months ago
- For hosting ATS3 and developing CodeDepot☆19Oct 2, 2026Updated 3 weeks ago
- Composable flake outputs using the adios module system — the ergonomics of flake-parts without the evaluation overhead.☆34Apr 3, 2026Updated 6 months ago
- 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.
- RPC/XDR protocol compiler (from jungerl)☆15Oct 4, 2019Updated 7 years ago
- Animated harmonograph wallpaper for Sway/Wayland☆13Mar 18, 2026Updated 7 months ago
- [WIP] Open-source alternative to Antithesis.☆71Jun 9, 2026Updated 4 months ago
- 2024 Election for the Steering Committee☆31Nov 11, 2024Updated last year
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Validate and generate configuration files using Nix and Cue☆38May 26, 2022Updated 4 years ago
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 10 years ago