microsoft / ZenLinks
Zen is a constraint solving library for .NET
☆137Updated 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 2 years ago
- Model-checker for lock and wait free C# code☆78Updated 7 years ago
- FrozenObjects serializer and deserializer☆93Updated 3 years ago
- Scratch pad for various expression tree improvements.☆83Updated 3 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆40Updated 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…☆82Updated 8 months ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆65Updated 7 months ago
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆56Updated 2 years ago
- ☆158Updated this week
- Conceptual repo. Most advanced compile time safe units of measure for C# and F#☆61Updated 3 years ago
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆114Updated 4 years ago
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆202Updated 3 weeks ago
- High-performance zero-reflection approach to C# metaprogramming☆31Updated last year
- A fluent API for creating MSBuild projects for use by unit tests☆51Updated 3 weeks ago
- 🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.☆91Updated 6 months ago
- C# interface-to-member source generator☆85Updated 4 months ago
- Basic Compilation Log support☆38Updated last week
- A set of generators helping dealing with structs in C#☆48Updated 4 years ago
- Experimental concepts for C# using Roslyn☆81Updated 4 years ago
- Fast, flexible, and version-tolerant serializer for .NET☆223Updated 2 years ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- Practical generic programming for .NET☆251Updated this week
- A set of source generators for equality, immutability, ...☆90Updated 2 years ago
- DAWG String Dictionary in C#☆121Updated 2 weeks ago
- BigMachines is State Machine library for .NET☆43Updated this week
- Linq for Span<T> using SourceGenerators☆54Updated 4 years ago
- A fast and powerful Static Website Engine☆74Updated this week
- Analyzers checking System.Reflection☆82Updated last year