nicknash / RelaSharp
Model-checker for lock and wait free C# code
☆77Updated 6 years ago
Alternatives and similar repositories for RelaSharp:
Users that are interested in RelaSharp are comparing it to the libraries listed below
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆65Updated 6 years ago
- Lightweight fork of the .NET Compiler Platform ("Roslyn") by adding a compiler plugin infrastructure☆97Updated 6 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- Under the rocks☆105Updated 6 years ago
- Making .NET open source accessible!☆26Updated 7 years ago
- A managed Tls Library without all the baggage☆59Updated 7 years ago
- Managed replacement of System.Reflection[.Emit]☆131Updated 8 years ago
- Facilitates adding constraints for Enum and Delegate to types and methods.☆47Updated 3 weeks ago
- A simple C# type for working with contiguous buffers.☆119Updated 7 years ago
- FrozenObjects serializer and deserializer☆91Updated 2 years ago
- Extensions for runtime reflection and structural induction☆52Updated 7 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆60Updated 2 years ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 4 years ago
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- Port of Google's farmhash algorithm to .NET☆64Updated last year
- A Roslyn inspired rewrite of NQuery☆74Updated 5 months ago
- Extends ReSharper's static nullability analysis by changing specific, configurable elements to be [NotNull] by default☆44Updated 3 years ago
- Command-line tool for debugging issues in async code☆22Updated 5 years ago
- Straightforward nint and nuint native integers, written in IL, probably second best to proper compiler support. Fully functional.☆28Updated 6 years ago
- An analyzer for Non-Copyable structs.☆31Updated 2 years ago
- Easy-to-use exception causality chains for async/await.☆64Updated 4 years ago
- String cache to merge duplicate strings; capped with 2 generation LRU eviction and further evictions on Gen2 GC collections.☆69Updated 2 years ago
- This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.☆14Updated 9 years ago
- Visualization of the managed memory.☆83Updated 8 years ago
- A set of source generators for equality, immutability, ...☆91Updated 2 years ago
- Fast and flexible serialization framework usable on undecorated classes.☆46Updated 6 months ago
- Distributed storage and processing of objects in Orleans☆26Updated 8 years ago
- ☆25Updated 10 months ago
- ☆61Updated 4 months ago
- ☆42Updated 5 years ago