Property-based testing for web and terminal UIs
-
Updated
Sep 21, 2026 - Rust
#
antithesis
Here are 8 public repositories matching this topic...
A clustered, Valkey-compatible database backed by object storage
-
Updated
Jun 30, 2026 - Go
A turn-based game simulation that pitches AI players against each other in simple 2D games. Built as a reference project for using Antithesis.
-
Updated
Aug 16, 2026 - Go
Automated chaos testing for Python — fault injection, property assertions, and stateful exploration
python testing mutation-testing chaos-monkey fuzzing pytest-plugin resilience-testing fault-injection hypothesis property-testing chaos-testing antithesis coverage-guided stateful-testing test-quality buggify
-
Updated
Jul 11, 2026 - Python
Official implementation of "Using Pre-Trained Language Models in an End-to-End Pipeline for Antithesis Detection" accepted in LREC-2024
-
Updated
Apr 18, 2024 - Python
Never confidently wrong: a TLA+-verified consensus kernel around TypeSafe's Jev, run through 1,680 chaos-tested pharmacy decisions with zero wrong verdicts. Film, code, and every captured call.
rust distributed-systems consensus calibration property-based-testing model-checking formal-verification metamorphic-testing ai-safety chaos-engineering tlc asyncapi tla-plus deterministic-simulation byzantine-fault-tolerance antithesis llm-evaluation jev typesafe-ai system-one
-
Updated
Sep 19, 2026 - Python
Official implementation of "Using Pre-Trained Language Models in an End-to-End Pipeline for Antithesis Detection" accepted in LREC-2024
-
Updated
Apr 9, 2024 - Python
Add this topic to your repo
To associate your repository with the antithesis topic, visit your repo's landing page and select "manage topics."