GitHub repository: KarasssDev/VSharp
Primary language: F#
Description: Symbolic execution engine for .NET Core