GitHub repository: runtimeverification/skribe
Primary language: Python
Description: Property testing for Stylus smart contracts