microsoft / Zen
Zen is a constraint solving library for .NET
☆88Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for Zen
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Model-checker for lock and wait free C# code☆77Updated 6 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…☆72Updated 4 months ago
- A concurency testing tool☆55Updated 5 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆137Updated 9 months ago
- Get started with Coyote with these simple introductory sample projects.☆52Updated 2 years ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- Experimental concepts for C# using Roslyn☆80Updated 3 years ago
- Automata and transducer library for .NET☆79Updated 4 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆242Updated last year
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated 3 weeks ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆33Updated 7 years ago
- Common Compiler Infrastructure☆101Updated 5 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Updated 7 years ago
- Pattern matching for Roslyn syntax trees☆29Updated 6 years ago
- A compiler framework for managed code.☆52Updated 5 years ago
- Shared components used by the Omex team to build scalable and highly available distributed systems☆71Updated last week
- A fluent API for creating MSBuild projects for use by unit tests☆47Updated last week
- Web-based Viewer for ETL and NetPerf Data☆30Updated 2 years ago
- Library for writing Jupyter kernels in .NET Core☆108Updated 9 months ago
- Basic Compilation Log support☆26Updated this week
- FrozenObjects serializer and deserializer☆90Updated 2 years ago
- This repo contains the code for building http://source.dot.net☆50Updated 3 months ago
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆73Updated last year
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆50Updated last month
- A C# parser combinator library☆19Updated 3 years ago
- About Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects …☆62Updated last year
- Author microservices without thinking about faults or servers. Then compile and deploy anywhere.☆44Updated 3 years ago
- Extracts testable C# code from structured comments to test files.☆16Updated 2 years ago