microsoft / ZenLinks
Zen is a constraint solving library for .NET
☆139Updated 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☆56Updated 2 years ago
- Model-checker for lock and wait free C# code☆78Updated 7 years ago
- Scratch pad for various expression tree improvements.☆82Updated 3 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…☆84Updated 9 months ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Updated 5 months ago
- FrozenObjects serializer and deserializer☆94Updated 3 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆77Updated last year
- An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline☆114Updated 4 years ago
- Produce NuPkg files that have .NET Reference assemblies as resources☆157Updated last month
- Conceptual repo. Most advanced compile time safe units of measure for C# and F#☆61Updated 4 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆65Updated 8 months ago
- A fluent API for creating MSBuild projects for use by unit tests☆51Updated 2 weeks ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆203Updated 2 months ago
- Simple tools for working with immutable trees☆60Updated 2 weeks ago
- A fast and simple .NET parsing library☆87Updated 7 months ago
- ☆158Updated last month
- Uses platform APIs to find processes locking one or multiple files on Windows or Linux☆118Updated last year
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆57Updated 2 years ago
- 🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.☆91Updated 7 months ago
- Basic Compilation Log support☆38Updated last week
- .NET library to work with Git repositories☆34Updated 2 weeks ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 4 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 …☆72Updated 7 years ago
- Small demonstration of building and using an MSBuild task in the same build.☆32Updated 6 months ago
- Straightforward nint and nuint native integers, written in IL, probably second best to proper compiler support. Fully functional.☆28Updated 7 years ago
- Extracts testable C# code from structured comments to test files.☆16Updated 3 years ago
- This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.☆14Updated 10 years ago
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆63Updated last week
- C# immutable records generator☆73Updated 5 years ago