endjin / Z3.LinqLinks
LINQ bindings for the Z3 theorem prover from Microsoft Research.
☆41Updated 6 months ago
Alternatives and similar repositories for Z3.Linq
Users that are interested in Z3.Linq are comparing it to the libraries listed below
Sorting:
- ☆56Updated 5 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆52Updated last month
- An MSBuild Task to enable exception line numbers for references in a deployed app☆84Updated this week
- JSON diff tool for .NET☆55Updated 2 years ago
- A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process☆65Updated 10 months ago
- A library that automatically adds support for object deconstruction in C#.☆43Updated 4 months ago
- Tools for experimenting with union types.☆31Updated 10 months ago
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆25Updated 2 years ago
- This project uses Source Generation to generate an interface and a Proxy class for classes. This makes it possible to wrap external class…☆47Updated 5 months ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆30Updated last week
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆77Updated 2 years ago
- Visual Studio Extension for running BenchmarkDotNet Benchmarks.☆51Updated 6 years ago
- A class library implementing probabilistic data structures in .NET☆61Updated 3 years ago
- Scratch pad for various expression tree improvements.☆82Updated 3 years ago
- A low-level library for interacting with PDF files☆94Updated last year
- An opinionated, simplified and uniform Cloud Native actors' library that integrates with Microsoft Orleans.☆40Updated 2 weeks ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 5 years ago
- A Roslyn inspired rewrite of NQuery☆75Updated last year
- The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard☆63Updated 2 weeks ago
- Tiny .NET library implementing a free monad-like pattern with C# async/await.☆22Updated 4 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆77Updated 3 weeks ago
- Dynamically attach properties to (almost) any object instance.☆47Updated 4 years ago
- A dotnet tool for managing Verify snapshots.☆41Updated 2 months ago
- Generates simple names for *Infos (types, parameters, properties, fields, and methods)☆18Updated this week
- Mermaid.js fluent api for .NET☆41Updated 8 months ago
- Package to make writing MSBuild extensions easier that work both with MSBuild Core and MSBuild (Full).☆24Updated 6 years ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- BigMachines is State Machine library for .NET☆44Updated last week
- The Try monad (Error/Exceptional monad) for C#☆60Updated 2 years ago
- C# immutable records generator☆73Updated 5 years ago