nicknash / RelaSharp
Model-checker for lock and wait free C# code
☆77Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for RelaSharp
- Lightweight fork of the .NET Compiler Platform ("Roslyn") by adding a compiler plugin infrastructure☆97Updated 6 years ago
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆64Updated 5 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- Making .NET open source accessible!☆26Updated 6 years ago
- This package enables .NET projects to use atomic primitives.☆58Updated 8 years ago
- Managed replacement of System.Reflection[.Emit]☆130Updated 7 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆56Updated 2 years ago
- Facilitates adding constraints for Enum and Delegate to types and methods.☆47Updated 2 months ago
- FrozenObjects serializer and deserializer☆90Updated 2 years ago
- A set of source generators for equality, immutability, ...☆90Updated last year
- A simple C# type for working with contiguous buffers.☆118Updated 7 years ago
- .NET deadlock detection library to track down async/await related deadlocks with minimal overhead and effort.☆50Updated 3 years ago
- An experimental .NET asymmetric serializer, designed for write-heavy enviroments with a synchronous flow.☆20Updated 5 years ago
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- Extends ReSharper's static nullability analysis by changing specific, configurable elements to be [NotNull] by default☆44Updated 3 years ago
- A managed Tls Library without all the baggage☆59Updated 6 years ago
- An analyzer for Non-Copyable structs.☆31Updated 2 years ago
- IL weaver to add nullability annotations to .NET reference assemblies☆71Updated 2 years ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated last year
- String cache to merge duplicate strings; capped with 2 generation LRU eviction and further evictions on Gen2 GC collections.☆67Updated last year
- Trace .NET Core runtime events and summarize them☆22Updated 6 years ago
- The combined Langly runtime☆33Updated 2 years ago
- ☆61Updated 2 weeks ago
- Faster, less leakier thread-safe Lazy<T> implementation in C#☆44Updated last year
- Bounded multiple producers multiple consumers queue for .NET☆56Updated last year
- Visual Studio Extension for running BenchmarkDotNet Benchmarks.☆48Updated 5 years ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆45Updated 3 years ago
- Visualization of the managed memory.☆83Updated 7 years ago
- Port of Google's farmhash algorithm to .NET☆62Updated 10 months ago