Coyote is a tool designed to help ensure that your C# code is free of annoying concurrency bugs. (by microsoft)


Basic coyote repo stats
1 day ago

microsoft/coyote is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

Coyote Alternatives

Similar projects and alternatives to coyote based on common topics and language

  • GitHub repo tlaplus-graph-explorer

    A static web application to explore and animate a TLA+ state graph.

  • GitHub repo P

    The P programming language.

  • GitHub repo Stateless

    A simple library for creating state machines in C# code

  • GitHub repo Automatonymous

    A state machine library for .Net - 100% code - No doodleware

  • GitHub repo Appccelerate - State Machine

    A .net library that lets you build state machines (hierarchical, async with fluent definition syntax and reporting capabilities).

  • GitHub repo LiquidState

    Efficient asynchronous and synchronous state machines for .NET

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better coyote alternative or higher similarity.


Posts where coyote has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-04-07.
  • TLA+ Graph Explorer | 2021-04-07
    Visualizations do help a lot when model checkers and concurrency schedule exploration tools like Coyote find bugs. Coyote include the ability to visualize the traces if you express your concurrency using actors (see

    It also allows you to implement your own "logger" through which you can emit enough information to construct some cool visualizations. I had a lot of fun working on visualizing an implementation of Paxos using Coyote (then P#) (screenshot at

  • Find those pesky concurrency bugs | 2021-04-06
    If curious, you can learn more in the Coyote website
  • Finding concurrency bugs in .NET services using Coyote | 2021-03-21
    Hi HN,

    The tweet links to a couple of tutorials showing how to test an extremely simple CRUD service using Coyote to find concurrency bugs. Developers write simple unit tests whose concurrency is explored by Coyote to find bugs. You might be surprised to learn how we can write a number of interesting concurrency tests for even the simplest of CRUD services.

  • Finding threading issues in code quickly | 2020-12-24
    The closest I can think of is