LeeSanderson / Chess
A concurency testing tool
☆55Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Chess
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆94Updated last month
- Model-checker for lock and wait free C# code☆77Updated 6 years ago
- An experimental mutation testing tool for C# code☆66Updated 3 years ago
- ☆150Updated last week
- Implements API for retrieval of symbols and other debug artifacts from symbol store.☆143Updated 7 months ago
- open source search projects☆80Updated last year
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 2 years ago
- Repository for CLR Hosting and Diagnostic API native code samples.☆132Updated 5 months ago
- Reader of Portable PDBs format that implements DiaSymReader interfaces (ISymUnmanagedReader, ISymUnmanagedBinder, etc.).☆83Updated this week
- BPerf is a Cloud Profiling system used by Bing.com based on CoreCLR Profiling APIs & Event Tracing for Windows.☆76Updated last year
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Various tools and helpers to read assembly metadata.☆195Updated this week
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 5 months ago
- Making .NET open source accessible!☆26Updated 6 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆50Updated last month
- .NET deadlock detection library to track down async/await related deadlocks with minimal overhead and effort.☆50Updated 3 years ago
- Common Compiler Infrastructure☆101Updated 5 years ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- Tools for enhanced editing of MSBuild proj files in Visual Studio 2017 and 2019☆95Updated 2 years ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 4 months ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆245Updated 3 months ago
- A Visual Studio Code C# IL (Intermediate Language) Viewer☆98Updated last year
- Materials for Sela's debugging and performance courses☆51Updated 4 years ago
- Global type inference for C# 8 nullable reference types☆35Updated 10 months ago
- Collect, aggregate, and display live stack traces for ETW events, including CPU sampling, of native and .NET processes.☆52Updated 4 years ago
- A command-line live tracing tool for .NET production applications.☆14Updated 6 years ago
- Managed definitions for COM interfaces exposed by DiaSymReader APIs☆50Updated this week
- Write minidumps of .NET processes with full memory, only CLR heaps, or no memory at all☆219Updated 5 years ago
- A command line memory analysis tool for managed code.☆88Updated 3 years ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated last year