microsoft / ZenLinks
Zen is a constraint solving library for .NET
☆141Updated 2 years ago
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☆56Updated 2 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆77Updated 3 weeks ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Updated 6 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…☆85Updated 10 months ago
- Model-checker for lock and wait free C# code☆78Updated 7 years ago
- Produce NuPkg files that have .NET Reference assemblies as resources☆161Updated 2 months ago
- A set of generators helping dealing with structs in C#☆48Updated 4 years ago
- Basic Compilation Log support☆38Updated 2 weeks ago
- Vectorized generic dictionary prototype☆26Updated last year
- High-performance zero-reflection approach to C# metaprogramming☆32Updated last year
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆206Updated 3 months ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆65Updated 9 months ago
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆57Updated 2 years ago
- The Book of the Runtime (BOTR) for the .NET Runtime. Combined articles from the official CoreCLR repo about the non-trivial internals of …☆73Updated 7 years ago
- FrozenObjects serializer and deserializer☆95Updated 3 years ago
- Conceptual repo. Most advanced compile time safe units of measure for C# and F#☆62Updated 4 years ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- High-performance .NET regex engine with predictable performance☆49Updated 2 years ago
- A terminal-centric replacement for the .NET console APIs.☆111Updated last week
- BigMachines is State Machine library for .NET☆44Updated last week
- A C# parser combinator library☆19Updated 5 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆52Updated last month
- Source Generator for dumping the git branch information, commit hash, and if the working tree is dirty or clean on projects that install …