microsoft / ZenLinks
Zen is a constraint solving library for .NET
☆103Updated last year
Alternatives and similar repositories for Zen
Users that are interested in Zen are comparing it to the libraries listed below
Sorting:
- A performant and ergonomic implementation of binary decision diagrams for .NET☆55Updated last year
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- A concurency testing tool☆58Updated 6 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆62Updated 3 months ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆38Updated 2 weeks ago
- FrozenObjects serializer and deserializer☆92Updated 2 years ago
- A set of generators helping dealing with structs in C#☆47Updated 4 years ago
- A C# parser combinator library☆19Updated 4 years ago
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆80Updated 4 months ago
- Pattern matching for Roslyn syntax trees☆30Updated 7 years ago
- Get started with Coyote with these simple introductory sample projects.☆52Updated 3 years ago
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆113Updated 4 years ago
- The Book of the Runtime (BOTR) for the .NET Runtime. Combined articles from the official CoreCLR repo about the non-trivial internals of …☆69Updated 7 years ago
- Web-based Viewer for ETL and NetPerf Data☆31Updated 3 years ago
- String cache to merge duplicate strings; capped with 2 generation LRU eviction and further evictions on Gen2 GC collections.☆70Updated 2 years ago
- A collection of benchmarks for analyzing dotnet code strategies.☆50Updated 3 years ago
- open source search projects☆80Updated 2 years ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated 2 years ago
- The portable version of JetBrains profiler API for .NET Framework / .NET Core / .NET / .NET Standard / Mono☆34Updated this week
- Experimental concepts for C# using Roslyn☆80Updated 4 years ago
- Simple tools for working with immutable trees☆59Updated 2 weeks ago
- High-performance .NET regex engine with predictable performance☆48Updated last year
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆56Updated 2 years ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 4 years ago
- ☆157Updated 3 months ago
- High-performance zero-reflection approach to C# metaprogramming☆31Updated 9 months ago
- ☆27Updated 2 months ago
- Fast, flexible, and version-tolerant serializer for .NET☆223Updated 2 years ago