nicknash / RelaSharpLinks
Model-checker for lock and wait free C# code
☆77Updated 7 years ago
Alternatives and similar repositories for RelaSharp
Users that are interested in RelaSharp are comparing it to the libraries listed below
Sorting:
- Lightweight fork of the .NET Compiler Platform ("Roslyn") by adding a compiler plugin infrastructure☆97Updated 7 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆64Updated 6 years ago
- This package enables .NET projects to use atomic primitives.☆58Updated 8 years ago
- Inlining Analyzer is a Visual Studio Extension that shows in the source code if a method call will be inlined by the JIT compiler.☆155Updated 5 years ago
- Managed replacement of System.Reflection[.Emit]☆132Updated 8 years ago
- Making .NET open source accessible!☆26Updated 7 years ago
- A Roslyn inspired rewrite of NQuery☆75Updated 10 months ago
- Port of Google's farmhash algorithm to .NET☆65Updated last year
- Fast, flexible, and version-tolerant serializer for .NET☆223Updated 2 years ago
- Code generation for immutable types☆172Updated 11 months ago
- FrozenObjects serializer and deserializer☆92Updated 2 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆65Updated 3 months ago
- ☆61Updated 4 months ago
- A set of source generators for equality, immutability, ...☆91Updated 2 years ago
- Under the rocks☆105Updated 7 years ago
- An analyzer for Non-Copyable structs.☆33Updated 3 years ago
- A simple C# type for working with contiguous buffers.☆118Updated 8 years ago
- String cache to merge duplicate strings; capped with 2 generation LRU eviction and further evictions on Gen2 GC collections.☆71Updated 2 years ago
- IL weaver to add nullability annotations to .NET reference assemblies☆70Updated 3 years ago
- Extensions for runtime reflection and structural induction☆52Updated 7 years ago
- Now superseded by Microsoft/vs-threading☆121Updated 7 years ago
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- Low allocation re-implementation of LINQ-to-Objects☆214Updated 7 years ago
- ☆29Updated 6 years ago
- An experimental .NET asymmetric serializer, designed for write-heavy enviroments with a synchronous flow.☆20Updated 6 years ago
- C# immutable records generator☆73Updated 5 years ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated 2 years ago
- Compressed bitmaps in C#☆82Updated last year
- Performant delimeter-separated value (CSV, TSV, etc.) text parser.☆63Updated 7 years ago