GitHub repository: kailiangji/PSharp
Primary language: C#
Description: Safe asynchronous event-driven programming for .NET and Azure.