These packages are available as a package collection, usable in Xcode or SwiftPM.
QuickCheck for Swift
Property-based testing for Swift 6
2 packages.