microsoft / Zen
Zen is a constraint solving library for .NET
☆90Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for Zen
- 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
- Get started with Coyote with these simple introductory sample projects.☆52Updated 2 years ago
- Symbolic execution engine for .NET Core☆49Updated 3 weeks ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- The Try monad (Error/Exceptional monad) for C#☆55Updated 11 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…☆72Updated 4 months ago
- Experimental concepts for C# using Roslyn☆80Updated 3 years ago
- A concurency testing tool☆55Updated 5 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆47Updated this week
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆44Updated last week
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 5 months ago
- Web-based Viewer for ETL and NetPerf Data☆30Updated 2 years ago
- Pattern matching for Roslyn syntax trees☆29Updated 6 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated this week
- FrozenObjects serializer and deserializer☆90Updated 2 years ago
- Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includ…☆50Updated 4 months ago
- Analyzers for XML documentation☆35Updated last year
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆61Updated 3 weeks ago
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆53Updated last year
- MSBuild is complicated. Let's lift the veil on it.☆132Updated last year
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆138Updated 10 months ago
- JSON diff tool for .NET☆49Updated last year
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆168Updated this week
- ☆43Updated 4 years ago
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆73Updated last year
- Automata and transducer library for .NET☆79Updated 4 years ago
- A set of generators helping dealing with structs in C#☆45Updated 3 years ago