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
- 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
- Symbolic execution engine for .NET Core☆51Updated 3 months ago
- FrozenObjects serializer and deserializer☆91Updated 2 years 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
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆77Updated last month
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated 5 months ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- MSBuild is complicated. Let's lift the veil on it.☆134Updated 2 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- Linq for Span<T> using SourceGenerators☆53Updated 3 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆48Updated 2 months ago
- Get started with Coyote with these simple introductory sample projects.☆52Updated 3 years ago
- A concurency testing tool☆57Updated 6 years ago
- Basic Compilation Log support☆38Updated this week
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆55Updated last year
- Web-based Viewer for ETL and NetPerf Data☆30Updated 2 years ago
- A set of generators helping dealing with structs in C#☆47Updated 4 years ago
- Analyzers checking System.Reflection☆81Updated last year
- High-performance .NET regex engine with predictable performance☆48Updated last year
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆182Updated 4 months ago
- A set of source generators for equality, immutability, ...☆91Updated 2 years ago
- The example class library project, with code written in the CIL.☆19Updated 5 years ago
- ☆26Updated 11 months ago
- Recommended template for new .NET Foundation repos☆47Updated 2 years ago
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- Contains the DotNet.ReproducibleBuilds package☆201Updated 4 months ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆51Updated 6 months ago
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆58Updated last year
- A collection of benchmarks for analyzing dotnet code strategies.☆50Updated 3 years ago