GitHub repository: microsoft/coyote-samples
Primary language: C#
Description: Get started with Coyote with these simple introductory sample projects.