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:
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated last year
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- Provides the Developer Command Prompt (here) context menu on folders☆42Updated 5 years ago
- open source search projects☆80Updated last year
- Implements API for retrieval of symbols and other debug artifacts from symbol store.☆143Updated last year
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆64Updated 6 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
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 2 years ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆97Updated 5 months ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- A command line memory analysis tool for managed code.☆90Updated 3 years ago
- Visualization of the managed memory.☆83Updated 8 years ago
- ☆156Updated last month
- Making .NET open source accessible!☆26Updated 7 years ago
- Materials for Sela's debugging and performance courses☆52Updated 5 years ago
- Make QuickSort Quick Again in C#☆102Updated 2 years ago
- Managed definitions for COM interfaces exposed by DiaSymReader APIs☆54Updated this week
- Reader of Portable PDBs format that implements DiaSymReader interfaces (ISymUnmanagedReader, ISymUnmanagedBinder, etc.).☆86Updated last week
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆14Updated 3 years ago
- Under the rocks☆106Updated 6 years ago
- A simple C# type for working with contiguous buffers.☆119Updated 8 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
- Collect, aggregate, and display live stack traces for ETW events, including CPU sampling, of native and .NET processes.☆53Updated 5 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆51Updated 3 weeks ago
- Converts between Windows PDB and Portable PDB formats.☆65Updated this week
- Various tools and helpers to read assembly metadata.☆260Updated this week
- Helper objects to browse complex structures returned by ClrMD☆63Updated last year
- ☆61Updated 2 months ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆249Updated this week