endjin / Z3.Linq
LINQ bindings for the Z3 theorem prover from Microsoft Research.
☆37Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for Z3.Linq
- An MSBuild Task to enable exception line numbers for references in a deployed app☆76Updated this week
- JSON diff tool for .NET☆47Updated last year
- Git-based incremental build and testing platform for .NET and .NET Core.☆67Updated 4 months ago
- ☆53Updated last week
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆73Updated last year
- Tools for experimenting with union types.☆26Updated last year
- This project uses Source Generation to generate an interface and a Proxy class for classes. This makes it possible to wrap external class…☆38Updated last month
- ☆54Updated 4 years ago
- Visual Studio Extension for running BenchmarkDotNet Benchmarks.☆48Updated 5 years ago
- Recommended template for new .NET Foundation repos☆43Updated last year
- A library that automatically adds support for object deconstruction in C#.☆34Updated last year
- The Try monad (Error/Exceptional monad) for C#☆55Updated 11 months ago
- A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and …☆34Updated 7 months ago
- Mermaid.js fluent api for .NET☆38Updated 2 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆67Updated 7 months ago
- A class library implementing probabilistic data structures in .NET☆61Updated 2 years ago
- An opinionated, simplified and uniform Cloud Native actors' library that integrates with Microsoft Orleans.☆37Updated this week
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆27Updated last month
- A fluent API for creating MSBuild projects for use by unit tests☆47Updated last week
- Command-line tool for debugging issues in async code☆22Updated 4 years ago
- Generates simple names for *Infos (types, parameters, properties, fields, and methods)☆15Updated this week
- Adds syntax highlighting to SQL in C# strings☆33Updated last year
- Internal application architecture via command and event messages☆25Updated this week
- Linq for Span<T> using SourceGenerators☆49Updated 3 years ago
- Repository pattern with POCO object support for storing to Azure / Cosmos DB Table Storage☆26Updated last week
- ☆21Updated last year
- Dynamically attach properties to (almost) any object instance.☆43Updated 3 years ago
- A dotnet tool for managing Verify snapshots.☆32Updated 6 months ago
- Practical generic programming for C#☆141Updated this week
- Concise, version-tolerant result pattern implementation for Microsoft Orleans 8☆40Updated 6 months ago