# dubzzz/fast-check

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/dubzzz-fast-check).**

4,778 stars · 204 forks · TypeScript · mit

## Links

- GitHub: https://github.com/dubzzz/fast-check
- Homepage: https://fast-check.dev/
- awesome-repositories: https://awesome-repositories.com/repository/dubzzz-fast-check.md

## Topics

`faker` `fuzzing` `generative-testing` `property-based-testing` `quickcheck` `tdd` `testing` `typescript` `unit-testing`

## Description

fast-check is a property-based testing framework and random data generator designed to verify software invariants by producing a wide range of randomized input data. It functions as a test data fuzzer that executes predicates against high volumes of random inputs to uncover edge cases and critical bugs.

The project is distinguished by its ability to perform input-shrinking searches, which reduce complex failing inputs to their simplest form to isolate the exact cause of failure. It provides deterministic seed replay to exactly reproduce specific test failures and includes a concurrency testing engine that uses task-based asynchronous scheduling to simulate and detect race conditions.

Its capability surface covers state-based model testing for verifying system consistency via random command sequences and a comprehensive set of arbitrary-based data generators. These generators produce constrained primitives, recursive data structures, and specification-compliant values such as UUIDs, IPv4/IPv6 addresses, and web-standard URLs.

The framework supports asynchronous property verification and provides tools for analyzing generated value distributions and execution summaries.

## Tags

### Programming Languages & Runtimes

- [Arbitrary Data Generation](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/language-features/core-conceptual-frameworks/programming-language-concepts/random-number-generation/random-number-generators/random-data-generators/test-data-generators/arbitrary-data-generation.md) — Implements type-driven arbitrary data generation to verify software invariants across all possible inputs. ([source](https://fast-check.dev/docs/api/functions/anything.md))
- [Deterministic Random Data Generation](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/language-features/core-conceptual-frameworks/programming-language-concepts/random-number-generation/reproducible-randomizers/deterministic-random-data-generation.md) — Produces a wide variety of reproducible random data types, from primitives to complex objects, for property-based testing. ([source](https://fast-check.dev/docs/api/index.md))
- [Integer Range Generators](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/language-features/language-primitives/integer-range-generators.md) — Generates integer values constrained within specific boundaries to verify range-dependent logic. ([source](https://fast-check.dev/docs/api/interfaces/IntegerConstraints.md))
- [Unsigned Integer Array Generators](https://awesome-repositories.com/f/programming-languages-runtimes/fixed-width-integer-implementations/logical-integer-type-definitions/unsigned-integer-vectors/unsigned-integer-array-generators.md) — Generates arrays of unsigned 32-bit integers as randomized inputs for property tests. ([source](https://fast-check.dev/docs/api/functions/uint32Array.md))
- [Uint8Array Generators](https://awesome-repositories.com/f/programming-languages-runtimes/fixed-width-integer-implementations/logical-integer-type-definitions/unsigned-integer-vectors/unsigned-integer-array-generators/uint8array-generators.md) — Produces typed arrays of 8-bit unsigned integers to simulate various binary data inputs. ([source](https://fast-check.dev/docs/api/functions/uint8Array.md))
- [Model-Based Record Generators](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/language-features/core-conceptual-frameworks/programming-language-concepts/random-number-generation/animation-randomizers/random-value-generators/model-based-record-generators.md) — Produces objects with dynamic keys and values based on provided models to test varying data shapes. ([source](https://fast-check.dev/docs/api/functions/record.md))
- [Structured Random Data Generation](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/language-features/core-conceptual-frameworks/programming-language-concepts/random-number-generation/random-number-generators/random-data-generators/structured-random-data-generation.md) — Produces objects with random keys and values to test how a system handles various data shapes. ([source](https://fast-check.dev/docs/api/functions/object.md))
- [Comparator Generators](https://awesome-repositories.com/f/programming-languages-runtimes/programming-utilities/function-utilities/functional-utility-generation/comparator-generators.md) — Produces functions that determine the relative order of two inputs for testing sorting or ordering logic. ([source](https://fast-check.dev/docs/api/functions/compareBooleanFunc.md))

### Testing & Quality Assurance

- [Fuzz Testing](https://awesome-repositories.com/f/testing-quality-assurance/fuzz-testing.md) — Executes predicates against high volumes of random inputs to uncover critical bugs and edge cases. ([source](https://fast-check.dev/advanced/fuzzing.md))
- [Property-Based Fuzzing](https://awesome-repositories.com/f/testing-quality-assurance/property-based-fuzzing.md) — Provides a property-based testing engine that generates random input sequences to verify software invariants and uncover edge cases. ([source](https://fast-check.dev/docs/api/functions/check.md))
- [Property-Based Testing](https://awesome-repositories.com/f/testing-quality-assurance/property-based-testing.md) — Implements a property-based testing framework to verify software invariants using randomized input data. ([source](https://fast-check.dev/docs/api/interfaces/IProperty.md))
- [Generative Testing](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/generative-testing.md) — Implements a generative testing framework to verify software invariants by producing a wide range of randomized inputs.
- [Random Value Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators.md) — Provides a comprehensive system for generating randomized test data of various types to verify software invariants. ([source](https://fast-check.dev/docs/api/classes/Arbitrary.md))
- [Asynchronous Task Schedulers](https://awesome-repositories.com/f/testing-quality-assurance/asynchronous-task-schedulers.md) — Provides a promise scheduler to control the execution order of asynchronous operations to uncover concurrency bugs. ([source](https://fast-check.dev/docs/api/functions/scheduler.md))
- [Asynchronous Property Testing](https://awesome-repositories.com/f/testing-quality-assurance/asynchronous-test-execution/asynchronous-property-testing.md) — Executes property-based tests where the verification logic involves asynchronous operations. ([source](https://fast-check.dev/docs/api/functions/asyncProperty.md))
- [Automated Test Data Generation](https://awesome-repositories.com/f/testing-quality-assurance/automated-test-data-generation.md) — Produces complex, constrained, and recursive datasets and mock objects to seed property-based test suites. ([source](https://fast-check.dev/docs/api/functions/gen.md))
- [Concurrency Race Condition Testing](https://awesome-repositories.com/f/testing-quality-assurance/concurrency-race-condition-testing.md) — Ships a concurrency testing engine that uses task-based scheduling to simulate and detect race conditions. ([source](https://fast-check.dev/advanced/model-based-testing.md))
- [Consistency Model Verifiers](https://awesome-repositories.com/f/testing-quality-assurance/consistency-model-verifiers.md) — Implements model-based testing to verify that a real system's behavior remains consistent with a theoretical reference model. ([source](https://fast-check.dev/docs/api/index.md))
- [Deterministic Seed Replays](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-utilities-assertions/test-lifecycle-execution-control/transient-failure-reruns/deterministic-seed-replays.md) — Captures the seed and input path from a failed run to exactly reproduce a specific failure. ([source](https://fast-check.dev/docs/api/interfaces/RunDetailsFailureProperty.md))
- [Invariant Verification](https://awesome-repositories.com/f/testing-quality-assurance/invariant-verification.md) — Runs a property against generated inputs and signals an error if a failure is detected. ([source](https://fast-check.dev/docs/api/functions/assert.md))
- [Model Testing](https://awesome-repositories.com/f/testing-quality-assurance/model-testing.md) — Implements model-based testing by comparing real system state transitions against a theoretical reference model using random command sequences. ([source](https://fast-check.dev/advanced/model-based-testing.md))
- [Numerical Array Generation](https://awesome-repositories.com/f/testing-quality-assurance/numerical-array-generation.md) — Generates randomized arrays of 64-bit signed integers for testing numeric computations. ([source](https://fast-check.dev/docs/api/functions/bigInt64Array.md))
- [Property-Based Fuzzers](https://awesome-repositories.com/f/testing-quality-assurance/property-based-fuzzers.md) — Functions as a test data fuzzer that executes predicates against high volumes of random inputs to uncover critical bugs.
- [Property Verification](https://awesome-repositories.com/f/testing-quality-assurance/property-verification.md) — Generates wide ranges of input values to test if a logical property remains true across all cases. ([source](https://fast-check.dev/docs/api/functions/property.md))
- [Random Number Generation](https://awesome-repositories.com/f/testing-quality-assurance/random-number-generation.md) — Allows capturing the internal state of the random number generator to exactly replicate failing test sequences. ([source](https://fast-check.dev/docs/api/classes/Random.md))
- [Typed Array Generators](https://awesome-repositories.com/f/testing-quality-assurance/random-number-generation/typed-array-generators.md) — Creates arrays of 16-bit unsigned integers with optional constraints on length and content. ([source](https://fast-check.dev/docs/api/functions/uint16Array.md))
- [Test Case Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators.md) — Produces diverse values of specific types and nested structures for use in property-based testing. ([source](https://fast-check.dev/docs/api/interfaces/IProperty.md))
- [Generator Combinators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/generator-combinators.md) — Creates new data generators by mapping, chaining, or filtering values from a base generator. ([source](https://fast-check.dev/docs/api/classes/Arbitrary.md))
- [Value Constraints](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/value-constraints.md) — Provides capabilities to apply specific limits and requirements to data produced by arbitrary generators. ([source](https://fast-check.dev/docs/api/index.md))
- [Weighted Selection Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/weighted-selection-generators.md) — Assigns probabilities to different generators to control the frequency of value types during testing. ([source](https://fast-check.dev/docs/api/interfaces/WeightedArbitrary.md))
- [Race Condition Detection](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/testing-frameworks/unit/unit-testing/race-condition-detection.md) — Schedules asynchronous callbacks in different interleavings to deterministically uncover concurrency bugs. ([source](https://fast-check.dev/docs/advanced/advanced.md))
- [Specification-Compliant Data Generators](https://awesome-repositories.com/f/testing-quality-assurance/specification-compliant-data-generators.md) — Produces a wide range of valid values including edge cases defined by a technical specification. ([source](https://fast-check.dev/advanced/fake-data.md))
- [State Machine Testing](https://awesome-repositories.com/f/testing-quality-assurance/state-machine-testing.md) — Provides model-based testing to verify system consistency using randomized sequences of interdependent commands. ([source](https://fast-check.dev/docs/api/functions/commands.md))
- [Test Case Shrinking](https://awesome-repositories.com/f/testing-quality-assurance/test-case-shrinking.md) — Simplifies complex failing inputs into the smallest possible counterexample to isolate the cause of failure. ([source](https://fast-check.dev/docs/api/classes/Arbitrary.md))
- [Asynchronous Task Scheduling](https://awesome-repositories.com/f/testing-quality-assurance/testing-infrastructure-management/test-execution-management/execution-ordering/sequence-controllers/asynchronous-task-scheduling.md) — Controls the execution order of asynchronous tasks to deterministically uncover race conditions and concurrency bugs. ([source](https://fast-check.dev/docs/api/functions/schedulerFor.md))
- [Text and String Generation](https://awesome-repositories.com/f/testing-quality-assurance/text-and-string-generation.md) — Generates random strings based on constraints to test system robustness against various text inputs. ([source](https://fast-check.dev/docs/api/functions/string.md))
- [State-Based Model Testing Tools](https://awesome-repositories.com/f/testing-quality-assurance/validation-verification/formal-verification-tools/state-based-model-testing-tools.md) — Implements a state-based model testing engine to verify system consistency via random command sequences.
- [Asynchronous Model Testing](https://awesome-repositories.com/f/testing-quality-assurance/asynchronous-test-execution/asynchronous-model-testing.md) — Executes a sequence of asynchronous commands against a model and a real system to verify consistency. ([source](https://fast-check.dev/docs/api/functions/asyncModelRun.md))
- [Constant Value Generators](https://awesome-repositories.com/f/testing-quality-assurance/constant-value-generators.md) — Produces fixed predefined values to ensure specific edge cases or constants are consistently exercised. ([source](https://fast-check.dev/docs/api/functions/constant.md))
- [Fixed-Length Tuple Generators](https://awesome-repositories.com/f/testing-quality-assurance/fixed-length-tuple-generators.md) — Produces arrays of a fixed length where each element is generated according to specific rules. ([source](https://fast-check.dev/docs/api/functions/tuple.md))
- [Function Call Generators](https://awesome-repositories.com/f/testing-quality-assurance/function-call-generators.md) — Creates function calls with random arguments based on provided input definitions. ([source](https://fast-check.dev/docs/api/functions/func.md))
- [Continuous Fuzzing](https://awesome-repositories.com/f/testing-quality-assurance/fuzz-testing/continuous-fuzzing.md) — Runs properties in a loop across multiple executions to hunt for counterexamples beyond standard budgets. ([source](https://fast-check.dev/docs/advanced/advanced.md))
- [Test Configuration](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-configuration.md) — Allows configuration of property test parameters, including iteration counts and counterexample search settings. ([source](https://fast-check.dev/docs/api/interfaces/Parameters.md))
- [Stateful Command Definitions](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-utilities-assertions/assertion-extensions-modes/synchronous-assertions/stateful-command-definitions.md) — Provides primitives to define synchronous commands and assertions for verifying stateful system behavior. ([source](https://fast-check.dev/docs/api/interfaces/Command.md))
- [Execution Tree Analyzers](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-utilities-assertions/test-lifecycle-execution-control/test-execution-controls/execution-tree-analyzers.md) — Summarizes the execution tree, including runs and shrinks, to diagnose complex test behavior. ([source](https://fast-check.dev/docs/api/interfaces/RunDetailsFailureProperty.md))
- [Test Lifecycle Hooks](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-utilities-assertions/test-lifecycle-execution-control/test-lifecycle-hooks.md) — Executes asynchronous setup and teardown logic before and after test iterations to maintain environment state. ([source](https://fast-check.dev/docs/api/interfaces/IPropertyWithHooks.md))
- [Infinite Sequence Generators](https://awesome-repositories.com/f/testing-quality-assurance/infinite-sequence-generators.md) — Produces infinite sequences of values to facilitate testing of long-running software processes. ([source](https://fast-check.dev/docs/api/functions/stream.md))
- [Arbitrary Numeric Arrays](https://awesome-repositories.com/f/testing-quality-assurance/numerical-array-generation/arbitrary-numeric-arrays.md) — Produces arrays of large integers based on specified constraints to verify properties across numeric inputs. ([source](https://fast-check.dev/docs/api/type-aliases/BigIntArrayConstraints.md))
- [Arbitrary Array Generators](https://awesome-repositories.com/f/testing-quality-assurance/numerical-array-generation/arbitrary-numeric-arrays/arbitrary-array-generators.md) — Produces arrays of random values based on specific types and constraints to test list-processing functions. ([source](https://fast-check.dev/docs/api/functions/array.md))
- [Unique Array Generators](https://awesome-repositories.com/f/testing-quality-assurance/numerical-array-generation/arbitrary-numeric-arrays/arbitrary-array-generators/unique-array-generators.md) — Produces arrays containing distinct elements by ensuring no duplicate values are generated. ([source](https://fast-check.dev/docs/api/functions/uniqueArray.md))
- [Array Shape Constraints](https://awesome-repositories.com/f/testing-quality-assurance/numerical-array-generation/arbitrary-numeric-arrays/array-shape-constraints.md) — Allows limiting the length and structure of generated arrays to meet specific property requirements. ([source](https://fast-check.dev/docs/api/interfaces/ArrayConstraints.md))
- [Random Map Generators](https://awesome-repositories.com/f/testing-quality-assurance/random-map-generators.md) — Creates randomized maps with keys and values derived from specified generators. ([source](https://fast-check.dev/docs/api/functions/map.md))
- [Relational Data Generators](https://awesome-repositories.com/f/testing-quality-assurance/relational-data-generators.md) — Creates complex sets of interdependent entities with defined relations to simulate database-like structures. ([source](https://fast-check.dev/docs/api/functions/entityGraph.md))
- [Generated Input Filtering](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/generated-input-filtering.md) — Includes precondition-based input filtering to discard generated values that do not meet specific validity criteria before test execution. ([source](https://fast-check.dev/docs/api/functions/pre.md))
- [Contextual State Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/contextual-state-generators.md) — Provides a specialized value instance to maintain state across multiple generated inputs in a single run. ([source](https://fast-check.dev/docs/api/functions/context.md))
- [Optional Value Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/optional-value-generators.md) — Produces either a value from a specified generator or a null-like value to test missing data handling. ([source](https://fast-check.dev/docs/api/functions/option.md))
- [Random Record Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/random-record-generators.md) — Produces randomized records of key-value pairs with optional constraints on object size. ([source](https://fast-check.dev/docs/api/functions/dictionary.md))
- [Subset Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/subset-generators.md) — Produces random subsets of elements from existing arrays to test functions that process partial lists. ([source](https://fast-check.dev/docs/api/functions/subarray.md))
- [Typed Array Generators](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/test-execution-orchestration/test-case-generators/random-value-generators/typed-array-generators.md) — Produces clamped 8-bit unsigned integer arrays to use as randomized test input values. ([source](https://fast-check.dev/docs/api/functions/uint8ClampedArray.md))
- [Task-Based Async Schedulers](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/testing-frameworks/unit/unit-testing/race-condition-detection/task-based-async-schedulers.md) — Ships a concurrency testing engine that uses task-based asynchronous scheduling to detect non-deterministic race conditions.
- [Web Authority String Generators](https://awesome-repositories.com/f/testing-quality-assurance/text-and-string-generation/web-authority-string-generators.md) — Produces randomized web authority strings, including user information and hostnames, following RFC 3986. ([source](https://fast-check.dev/docs/api/functions/webAuthority.md))
- [URI Segment Generators](https://awesome-repositories.com/f/testing-quality-assurance/uri-segment-generators.md) — Produces valid string segments for URIs according to specifications to test URL parsing and routing. ([source](https://fast-check.dev/docs/api/functions/webSegment.md))
- [UUID Generators](https://awesome-repositories.com/f/testing-quality-assurance/uuid-generators.md) — Produces random Universally Unique Identifiers following specifications for versions one through five. ([source](https://fast-check.dev/docs/api/functions/uuid.md))
- [Model-Based Behavioral Verification](https://awesome-repositories.com/f/testing-quality-assurance/validation-verification/formal-verification-tools/model-based-consistency-verifiers/model-based-behavioral-verification.md) — Executes asynchronous commands against a model and a real system to verify consistent behavior. ([source](https://fast-check.dev/docs/api/functions/scheduledModelRun.md))
- [System Consistency Verification](https://awesome-repositories.com/f/testing-quality-assurance/validation-verification/formal-verification-tools/model-based-consistency-verifiers/system-consistency-verification.md) — Executes synchronous commands against a model and a real system to ensure behaviors remain consistent. ([source](https://fast-check.dev/docs/api/functions/modelRun.md))

### Data & Databases

- [Recursive Data Generation](https://awesome-repositories.com/f/data-databases/recursive-structure-processors/recursive-data-generation.md) — Limits the depth of generated recursive structures to bias the probability of producing smaller instances. ([source](https://fast-check.dev/docs/api/type-aliases/DepthSize.md))
- [Unique Identifier Generators](https://awesome-repositories.com/f/data-databases/data-management/unique-identifier-generators.md) — Produces sortable, unique identifiers conforming to the ULID specification for test data generation. ([source](https://fast-check.dev/docs/api/functions/ulid.md))
- [Command Sequence Generation](https://awesome-repositories.com/f/data-databases/data-management/unique-identifier-generators/test-sequence-generation/command-sequence-generation.md) — Produces scenarios of executable actions that can be shrunk to isolate the minimal steps required to trigger a failure. ([source](https://fast-check.dev/advanced/model-based-testing.md))
- [Structured JSON Generation](https://awesome-repositories.com/f/data-databases/data-processing-pipelines/data-serialization/json-schema/structured-json-generation.md) — Enforces structural rules and limits on the content of generated JSON objects. ([source](https://fast-check.dev/docs/api/interfaces/JsonSharedConstraints.md))
- [JSON Value Generators](https://awesome-repositories.com/f/data-databases/data-processing-pipelines/data-serialization/json-schema/structured-json-generation/json-value-generators.md) — Creates random values compatible with JSON parsing, including strings, numbers, and nested structures. ([source](https://fast-check.dev/docs/api/functions/jsonValue.md))
- [Relational Data Generation](https://awesome-repositories.com/f/data-databases/entity-relationship-definitions/relational-data-generation.md) — Creates a graph of related entities based on a schema definition to test complex relational data. ([source](https://fast-check.dev/docs/api/index.md))
- [Schema-Adherent Generation](https://awesome-repositories.com/f/data-databases/json-schema-modeling/schema-adherent-generation.md) — Defines structural requirements for generated objects to ensure they adhere to specific schemas. ([source](https://fast-check.dev/docs/api/interfaces/ObjectConstraints.md))
- [JSON Content Generators](https://awesome-repositories.com/f/data-databases/json-serialization-libraries/json-content-generators.md) — Generates random JSON strings and structured content based on provided constraints for testing. ([source](https://fast-check.dev/docs/api/functions/json.md))

### DevOps & Infrastructure

- [Task Schedulers](https://awesome-repositories.com/f/devops-infrastructure/automation-orchestration/task-execution-frameworks/task-job-management/task-schedulers/os-scheduling-simulations/task-schedulers.md) — Ensures asynchronous tasks run within a specific execution context to deterministically simulate race conditions. ([source](https://fast-check.dev/docs/api/interfaces/SchedulerConstraints.md))
- [Task Synchronization](https://awesome-repositories.com/f/devops-infrastructure/infrastructure/networking/messaging-infrastructure-integrations/asynchronous-task-queuing/task-synchronization.md) — Waits for specific task completions or idle states to synchronize asynchronous execution during tests. ([source](https://fast-check.dev/docs/api/interfaces/Scheduler.md))

### Scientific & Mathematical Computing

- [Floating-Point Precision Utilities](https://awesome-repositories.com/f/scientific-mathematical-computing/numerical-mathematical-foundations/arithmetic-number-types/floating-point-handlers/floating-point-precision-utilities.md) — Generates double-precision floating-point numbers with range constraints to test numerical stability. ([source](https://fast-check.dev/docs/api/functions/double.md))
- [Input Distribution Analysis](https://awesome-repositories.com/f/scientific-mathematical-computing/numerical-mathematical-foundations/statistics-probability/probability-distributions/distribution-generators/input-distribution-analysis.md) — Categorizes test inputs using classification functions and logs the resulting distribution statistics. ([source](https://fast-check.dev/docs/api/functions/statistics.md))
- [Random Date & Time Generators](https://awesome-repositories.com/f/scientific-mathematical-computing/random-date-time-generators.md) — Creates random Date objects within specified ranges to verify time-dependent software logic. ([source](https://fast-check.dev/docs/api/functions/date.md))
- [Temporal Constraints](https://awesome-repositories.com/f/scientific-mathematical-computing/random-date-time-generators/temporal-constraints.md) — Limits the range and precision of generated date values to ensure they fall within specific windows. ([source](https://fast-check.dev/docs/api/interfaces/DateConstraints.md))
- [Weighted Random Sampling](https://awesome-repositories.com/f/scientific-mathematical-computing/weighted-random-sampling.md) — Allows assigning probabilities to multiple generators to control the frequency of specific value types during test execution.

### Software Engineering & Architecture

- [Deterministic Runners](https://awesome-repositories.com/f/software-engineering-architecture/concurrency-schedulers/deterministic-runners.md) — Provides a deterministic execution environment to manage task scheduling and identify non-deterministic race conditions.
- [Model-Based Verification](https://awesome-repositories.com/f/software-engineering-architecture/core-business-logic/logic-verification-utilities/infrastructure-logic-verification/model-based-verification.md) — Verifies system consistency by comparing real system transitions against a theoretical reference model.
- [Recursive Data Generators](https://awesome-repositories.com/f/software-engineering-architecture/generic-type-definitions/generic-type-resolution/recursive-type-resolution/recursive-data-generators.md) — Enables the definition of complex data structures where types refer to each other recursively. ([source](https://fast-check.dev/docs/api/index.md))
- [Model-Based Async Commands](https://awesome-repositories.com/f/software-engineering-architecture/action-based-state-transitions/asynchronous-action-handling/model-based-async-commands.md) — Creates asynchronous actions that transition a model state and execute real-world operations. ([source](https://fast-check.dev/docs/api/interfaces/AsyncCommand.md))
- [State Transition Testing](https://awesome-repositories.com/f/software-engineering-architecture/action-based-state-transitions/state-transition-testing.md) — Executes sequences of operations against a stateful system to find command orders that trigger bugs. ([source](https://fast-check.dev/docs/advanced/advanced.md))
- [Scheduled Model Verification](https://awesome-repositories.com/f/software-engineering-architecture/action-based-state-transitions/state-transition-testing/scheduled-model-verification.md) — Processes model execution through a task scheduler to verify state transitions under asynchronous interleavings. ([source](https://fast-check.dev/advanced/race-conditions.md))
- [Random Seed Replayers](https://awesome-repositories.com/f/software-engineering-architecture/concurrency-schedulers/deterministic-runners/execution-replay/random-seed-replayers.md) — Provides deterministic seed replay to exactly reproduce specific test failures and reach the minimal counterexample. ([source](https://fast-check.dev/advanced/model-based-testing.md))
- [Recursion Depth Tracking](https://awesome-repositories.com/f/software-engineering-architecture/generic-type-definitions/generic-type-resolution/recursive-type-resolution/recursive-data-generators/recursion-depth-tracking.md) — Prevents infinite loops in nested data structures by tracking generation depth and using lazy builders. ([source](https://fast-check.dev/docs/api/functions/createDepthIdentifier.md))
- [Model-Based Command Interfaces](https://awesome-repositories.com/f/software-engineering-architecture/state-transition-models/model-based-command-interfaces.md) — Implements a command interface to model transitions and verify system state through sequences of operations. ([source](https://fast-check.dev/docs/api/interfaces/ICommand.md))

### Artificial Intelligence & ML

- [Array Length Constraints](https://awesome-repositories.com/f/artificial-intelligence-ml/generative-ai-configurations/generation-constraints/generation-constraints/array-length-constraints.md) — Defines the required and optional length boundaries for generated subarrays to ensure specific size requirements. ([source](https://fast-check.dev/docs/api/interfaces/SubarrayConstraints.md))

### Development Tools & Productivity

- [Encoded String Generators](https://awesome-repositories.com/f/development-tools-productivity/output-formatting-utilities/base64-encoders/encoded-string-generators.md) — Produces random strings encoded in base64 format while ensuring valid output lengths. ([source](https://fast-check.dev/docs/api/functions/base64String.md))

### Networking & Communication

- [Standard Email Generators](https://awesome-repositories.com/f/networking-communication/email-address-validators/subdomain-address-generators/standard-email-generators.md) — Produces random string values that conform to email address standards for property-based testing. ([source](https://fast-check.dev/docs/api/functions/emailAddress.md))
- [Synthetic Network Address Generators](https://awesome-repositories.com/f/networking-communication/synthetic-network-address-generators.md) — Produces randomized but valid IPv4 address strings for network-related test scenarios. ([source](https://fast-check.dev/docs/api/functions/ipV4.md))

### System Administration & Monitoring

- [Test Runner Configurations](https://awesome-repositories.com/f/system-administration-monitoring/global-system-settings/sendmail-parameter-settings/test-runner-configurations.md) — Provides centralized configuration for default execution settings and hooks across all property runners. ([source](https://fast-check.dev/docs/api/index.md))

### Web Development

- [URL Generators](https://awesome-repositories.com/f/web-development/url-generators.md) — Creates randomized web URLs based on specific constraints to verify various URL patterns. ([source](https://fast-check.dev/docs/api/interfaces/WebUrlConstraints.md))
- [Randomized](https://awesome-repositories.com/f/web-development/url-generators/randomized.md) — Produces random strings that conform to URL standards for use as test inputs. ([source](https://fast-check.dev/docs/api/functions/webUrl.md))