LeeSanderson / Chess
A concurency testing tool
☆57Updated 6 years ago
Alternatives and similar repositories for Chess:
Users that are interested in Chess are comparing it to the libraries listed below
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆95Updated 3 months ago
- Model-checker for lock and wait free C# code☆77Updated 6 years ago
- ☆155Updated 4 months ago
- Materials for Sela's debugging and performance courses☆51Updated 5 years ago
- IL to JavaScript Compiler☆143Updated 11 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 9 months ago
- Implements API for retrieval of symbols and other debug artifacts from symbol store.☆144Updated 11 months ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆245Updated this week
- Repository for CLR Hosting and Diagnostic API native code samples.☆132Updated 10 months ago
- Making .NET open source accessible!☆26Updated 7 years ago
- Common Compiler Infrastructure☆102Updated 5 years ago
- open source search projects☆80Updated last year
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Get started with Coyote with these simple introductory sample projects.☆52Updated 3 years ago
- Collect, aggregate, and display live stack traces for ETW events, including CPU sampling, of native and .NET processes.☆53Updated 5 years ago
- BPerf is a Cloud Profiling system used by Bing.com based on CoreCLR Profiling APIs & Event Tracing for Windows.☆79Updated 2 years ago
- Under the rocks☆105Updated 6 years ago
- Sample repository for a prototype of a new stackalloc operator for class with CoreCLR and Roslyn☆22Updated last year
- Various tools and helpers to read assembly metadata.☆251Updated last week
- An experimental mutation testing tool for C# code☆66Updated 4 years ago
- .NET deadlock detection library to track down async/await related deadlocks with minimal overhead and effort.☆51Updated 4 years ago
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 2 years ago
- Repo for testing JIT stuff☆15Updated 4 years ago
- Stack Trace Explorer is a Visual Studio plug-in that pretty prints a stack trace by turning types, methods, and paths into hyper links☆110Updated 6 years ago
- Make QuickSort Quick Again in C#☆101Updated 2 years ago
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆111Updated 4 years ago
- Custom Garbage Collectors for .NET Core☆182Updated 4 years ago
- Reader of Portable PDBs format that implements DiaSymReader interfaces (ISymUnmanagedReader, ISymUnmanagedBinder, etc.).☆86Updated last week
- A C# parser combinator library☆19Updated 4 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago