LeeSanderson / ChessLinks
A concurency testing tool
☆58Updated 6 years ago
Alternatives and similar repositories for Chess
Users that are interested in Chess are comparing it to the libraries listed below
Sorting:
- Implements API for retrieval of symbols and other debug artifacts from symbol store.☆143Updated last year
- Make QuickSort Quick Again in C#☆102Updated 3 years ago
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- Materials for Sela's debugging and performance courses☆52Updated 5 years ago
- ☆157Updated 3 months ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆97Updated 6 months ago
- Repository for CLR Hosting and Diagnostic API native code samples.☆134Updated last year
- open source search projects☆80Updated 2 years ago
- Common Compiler Infrastructure☆103Updated 5 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆55Updated last year
- BPerf is a Cloud Profiling system used by Bing.com based on CoreCLR Profiling APIs & Event Tracing for Windows.☆79Updated 2 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated last year
- Visual Studio Debug Adapter Host☆81Updated last year
- Zen is a constraint solving library for .NET☆103Updated last year
- Making .NET open source accessible!☆26Updated 7 years ago
- A Visual Studio Code C# IL (Intermediate Language) Viewer☆98Updated 2 years ago
- Reader of Portable PDBs format that implements DiaSymReader interfaces (ISymUnmanagedReader, ISymUnmanagedBinder, etc.).☆86Updated last week
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆64Updated 6 years ago
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 3 years ago
- The Book of the Runtime (BOTR) for the .NET Runtime. Combined articles from the official CoreCLR repo about the non-trivial internals of …☆69Updated 7 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆249Updated last week
- .NET library for logging data via EventSource/ETW☆87Updated 2 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆146Updated 4 months ago
- A command line memory analysis tool for managed code.☆90Updated 3 years ago
- An experimental mutation testing tool for C# code☆66Updated 4 years ago
- IL to JavaScript Compiler☆143Updated 11 years ago
- A compiler framework for managed code.☆53Updated 5 years ago
- Under the rocks☆105Updated 7 years ago
- Microsoft Visual Studio Editor API definitions☆125Updated 2 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago