AI Skills for Antithesis Users
☆78Jul 14, 2026Updated this week
Alternatives and similar repositories for antithesis-skills
Users that are interested in antithesis-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A CLI for the Antithesis platform☆18Updated this week
- Property-based testing for web and terminal UIs☆1,348Jul 3, 2026Updated 2 weeks ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 2 weeks ago
- An agent skill for writing Hegel tests☆62Jun 12, 2026Updated last month
- Property-based testing for Rust, built on Hypothesis☆289Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Property-based testing for Go☆71Updated this week
- Discrete Event Simulator for Rust Implementations☆20Feb 17, 2026Updated 5 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 4 months ago
- This is a script for building shadcn themes for your custom components and share them through shadcn registry☆14Sep 28, 2024Updated last year
- ☆18May 12, 2025Updated last year
- A curated list of awesome deterministic simulation testing resources 😎☆358Apr 29, 2026Updated 2 months ago
- Specification of a protocol for payment channels in TLA+☆14May 20, 2025Updated last year
- Elegant HTTP error handling in Go☆13Apr 22, 2022Updated 4 years ago
- Working group notes for GraphQL☆10Jun 14, 2022Updated 4 years 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.
- Extensions to Go's testing/iotest package☆12Feb 13, 2016Updated 10 years ago
- Internal Services Cluster☆21Updated this week
- Demonstration of access control patterns on the Internet Computer☆15Jan 27, 2023Updated 3 years ago
- ☆11Dec 13, 2021Updated 4 years ago
- 🔵 D2: Declarative Diagramming in Python via AnyWidget☆24Jul 1, 2026Updated 2 weeks ago
- SIGMOD Contest 2025 Winning Solution☆61Dec 7, 2025Updated 7 months ago
- This repo provides a starting point for building applications using SingleStore, Redpanda (by Vectorized), and the Go language. SingleSto…☆24Mar 8, 2024Updated 2 years ago
- Github Action to upload packages to packagecloud.io☆14Dec 12, 2022Updated 3 years ago
- OTLP wire format utilities for Go - zero-allocation counting, sharding, and routing for high-throughput telemetry pipelines☆19Updated 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.
- UI automated tests for Portal☆13Oct 20, 2022Updated 3 years ago
- Redis Cluster Operator creates and manages Redis Clusters atop Kubernetes.☆15Jun 2, 2025Updated last year
- The fantastic ORM library for Golang, aims to be developer friendly☆13Apr 17, 2026Updated 3 months ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆25Jul 11, 2026Updated last week
- ☆19Mar 31, 2024Updated 2 years ago
- Schema-derived, compositional patches for Effect☆37Jun 7, 2026Updated last month
- Create or update secrets in github repository☆13Aug 12, 2022Updated 3 years ago
- A PBT framework☆10Jul 19, 2025Updated last year
- GitHub actions and packages for building Grafana☆12Jun 5, 2026Updated last month
- 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.
- LEGEND tools to fit spectra☆26Jun 26, 2026Updated 3 weeks ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- ☆12Mar 28, 2022Updated 4 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- ☆13Jan 23, 2022Updated 4 years ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆126Aug 12, 2024Updated last year
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 4 months ago