microsoft / Zen
Zen is a constraint solving library for .NET
☆101Updated 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☆54Updated last year
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- High-performance .NET regex engine with predictable performance☆48Updated last year
- FrozenObjects serializer and deserializer☆91Updated 2 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…☆77Updated 2 months ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆61Updated 3 weeks ago
- Third-party build tool for 'Official' Antlr4 tool and runtime parsers using .Net. Drop-in replacement for 'Antlr4cs' Antlr4 tool and buil…☆84Updated 2 months ago
- ☆26Updated last year
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- 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 last month
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆112Updated 4 years ago
- Basic Compilation Log support☆38Updated 3 weeks ago
- Library for obtaining and analyzing the codegen of JIT for .NET. Can be used for both tests (assertions) and making reports (benchmarks).☆24Updated 2 years ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆97Updated 4 months ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- .NET libraries supporting several old and obscure data formats: DIB, MRB, NE, SHG, WinHelp.☆21Updated 2 weeks ago
- A port of the dotnet/runtime RyuJIT compiler to C#☆47Updated 11 months ago
- A replacement for Microsoft.VisualStudio.LanguageServer.Protocol☆32Updated 2 years ago
- A library for generating discriminated union types in C#☆23Updated 5 years ago
- A compiler framework for managed code.☆53Updated 5 years ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆51Updated 7 months ago
- Fast SIMD-based UTF-8 Validation in C#☆42Updated 3 months ago
- A set of generators helping dealing with structs in C#☆47Updated 4 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆38Updated 5 months ago
- The example class library project, with code written in the CIL.☆19Updated 5 years ago
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- High-performance zero-reflection approach to C# metaprogramming☆31Updated 7 months ago
- Persistent Hash Tables Backed by Memory Mapped Files☆10Updated 6 years ago
- Web-based Viewer for ETL and NetPerf Data☆30Updated 3 years ago