GitHub repository: pashcovich/PSharp
Primary language: C#
Description: Safe asynchronous event-driven .NET programming.