An agent skill for writing Hegel tests
☆85Oct 13, 2026Updated last 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☆402Updated this week
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 3 months ago
- Property-based testing for web and terminal UIs☆1,560Updated this week
- Property-based testing for TypeScript, built on Hypothesis☆76Updated this week
- Property-based testing for Go☆104Oct 16, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- AI Skills for Antithesis Users☆299Updated this week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆19Updated this week
- Automatically prove mathematical statements about your jax code in lean☆52Aug 6, 2026Updated 2 months ago
- A wrapper around UUIDs to provide type safety☆44Oct 12, 2026Updated last week
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆54Updated this week
- Rust linter powered by configurable Jev rules, with a VS Code extension.☆23Sep 18, 2026Updated last month
- Efficient, opinionated remote LSP client for notebooks☆15May 23, 2025Updated last year
- yadiff, yet another diff viewer, built on pierre's trees and diffs☆22Sep 10, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Revset DSL for Git☆17Oct 18, 2020Updated 6 years ago
- a software build labour-saving device☆73Oct 6, 2026Updated 2 weeks ago
- Morris is an experimental AI-powered mutation tester and test critic for Rust☆31Mar 17, 2026Updated 7 months ago
- Tool to inline module contents into syn::File instances☆12Jul 31, 2026Updated 2 months ago
- Programmable third party☆13Sep 16, 2024Updated 2 years ago
- Alternative future adapters that provide cancel safety.☆85Updated this week
- A Convex component for caching values that are expensive to compute☆16Oct 16, 2026Updated last week
- Sandbox untrusted code with safe access to the host.☆136Updated this week
- ☆14Jun 30, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Python wrapper for Action Network API.☆20Aug 19, 2024Updated 2 years ago
- 🪡🧦 Track, merge, and replicate files across peers with no single central server☆23Mar 31, 2026Updated 6 months ago
- Experimental Hypervisor Purpose-Built for Deterministic Software Testing☆47Updated this week
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆38Updated this week
- Intercepts cargo/gcc builds from AI coding agents via hooks and transparently routes them to remote worker machines, returning artifacts …☆68Updated this week
- Pure Go generic implementation of freelist allocator☆13Sep 27, 2025Updated last year
- Rust crate to enable ANSI escape code support on Windows.☆16Apr 14, 2026Updated 6 months ago
- ☆15Apr 2, 2022Updated 4 years ago
- Multi-account and usage manager for Claude Code and OpenAI Codex - switch logins, track quota, auto-rotate before rate limits☆38Updated 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.
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- A persistent native vector-hypergraph database for higher-order interactions☆25Oct 15, 2026Updated last week
- Add hardship to your tests☆1,281Updated this week
- OpenDST - Deterministic Simulation Testing for Java☆27Jul 16, 2026Updated 3 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,868Oct 13, 2026Updated last week
- ☆20May 12, 2025Updated last year
- Mirror is Reflection's coding harness☆203Updated this week