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 6 years ago
- A concurency testing tool☆57Updated 6 years ago
- Basic Compilation Log support☆37Updated this week
- FrozenObjects serializer and deserializer☆91Updated 2 years ago
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- High-performance .NET regex engine with predictable performance☆47Updated last year
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated 3 months 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 week
- A fluent API for creating MSBuild projects for use by unit tests☆48Updated last month
- Symbolic execution engine for .NET Core☆51Updated 2 months ago
- Get started with Coyote with these simple introductory sample projects.☆52Updated 2 years ago
- MSBuild is complicated. Let's lift the veil on it.☆134Updated 2 years ago
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆73Updated last year
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆44Updated this week
- High-performance zero-reflection approach to C# metaprogramming☆31Updated 5 months ago
- ☆19Updated 3 weeks ago
- Shared components used by the Omex team to build scalable and highly available distributed systems☆70Updated last week
- An MSBuild Task to enable exception line numbers for references in a deployed app☆78Updated this week
- Git-based incremental build and testing platform for .NET and .NET Core.☆73Updated last week
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆55Updated last year
- A new engine for Durable Functions. https://microsoft.github.io/durabletask-netherite☆228Updated 2 weeks ago
- A C# parser combinator library☆19Updated 4 years ago
- Shared serializers and models for Visual Studio solution files. Handles traditional .sln file and new .slnx file.☆92Updated last week
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆179Updated 3 months ago
- Practical generic programming for .NET☆192Updated this week
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 8 months ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆61Updated 4 months ago
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- BigMachines is State Machine library for .NET☆41Updated last week