An agent skill for writing Hegel tests
☆88Nov 10, 2026Updated this week
Alternatives and similar repositories for hegel-skill
Users that are interested in hegel-skill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Property-based testing for Rust, built on Hypothesis☆402Oct 19, 2026Updated 3 weeks ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 4 months ago
- Property-based testing for web and terminal UIs☆1,663Updated this week
- Property-based testing for TypeScript, built on Hypothesis☆78Oct 22, 2026Updated 3 weeks ago
- AI Skills for Antithesis Users☆312Oct 30, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ergonomic Type Diffs☆80Sep 27, 2026Updated last month
- A single agent turn as a unix pipe.☆16Aug 27, 2026Updated 2 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆20Nov 1, 2026Updated last week
- A wrapper around UUIDs to provide type safety☆44Updated this week
- In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq☆18Nov 4, 2026Updated last week
- A declarative, hermetic harness for Nix-defined agents.☆15Oct 28, 2026Updated 2 weeks ago
- Antithesis SDK for Rust☆37Updated this week
- Anta is Antithesis design system☆21Updated 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.
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆58Oct 17, 2026Updated 3 weeks ago
- Revset DSL for Git☆17Oct 18, 2020Updated 6 years ago
- Morris is an experimental AI-powered mutation tester and test critic for Rust☆31Mar 17, 2026Updated 7 months ago
- Efficient, opinionated remote LSP client for notebooks☆15May 23, 2025Updated last year
- QuickCheck-inspired property testing with integrated shrinking for Gleam☆48Aug 19, 2026Updated 2 months ago
- Rust linter powered by configurable Jev rules, with a VS Code extension.☆23Sep 18, 2026Updated last month
- Tool to inline module contents into syn::File instances☆12Jul 31, 2026Updated 3 months ago
- Alternative future adapters that provide cancel safety.☆86Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Utility that copies glob files to the clipboard for easy context gathering for your AI chats.☆37Dec 15, 2024Updated last year
- 🪡🧦 Track, merge, and replicate files across peers with no single central server☆23Mar 31, 2026Updated 7 months ago
- ☆14Jun 30, 2023Updated 3 years ago
- Pure Go generic implementation of freelist allocator☆13Sep 27, 2025Updated last year
- Python wrapper for Action Network API.☆20Aug 19, 2024Updated 2 years ago
- ArviZ modular plotting☆23Nov 4, 2026Updated last week
- Fast DEFLATE, zlib and gzip decompression in pure Rust. Supports zero-copy streaming and no-std/no-alloc.☆31Updated this week
- Programmable third party☆13Sep 16, 2024Updated 2 years ago
- Powerful, agent-friendly testing framework for CLI applications☆14Oct 24, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a…☆146Updated this week
- A list of Rust buffers that implements the bytes::Buf trait.☆41Jun 24, 2026Updated 4 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆2,077Nov 3, 2026Updated last week
- Spreadsheet demo in Haskell☆16Feb 21, 2026Updated 8 months ago
- ☆15Aug 20, 2025Updated last year
- rp is a program to repair programs.☆25Apr 27, 2026Updated 6 months ago
- Add hardship to your tests☆1,300Updated this week
Are these results useful?