microsoft / DecisionDiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
☆54Updated last year
Related projects ⓘ
Alternatives and complementary repositories for DecisionDiagrams
- Zen is a constraint solving library for .NET☆90Updated 10 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…☆72Updated 4 months ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- Automata and transducer library for .NET☆79Updated 4 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 5 months ago
- Model-checker for lock and wait free C# code☆77Updated 6 years ago
- .NET library for working with ranges of values☆15Updated 10 months ago
- A concurency testing tool☆55Updated 5 years ago
- Common Runtime for Applications (CRA) is a software layer (library) that makes it easy to create and deploy distributed dataflow-style ap…☆54Updated 2 weeks ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated this week
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆18Updated 2 years ago
- .NET bindings for native numerical computing☆31Updated 6 years ago
- Basic Compilation Log support☆26Updated this week
- ScalableJoins☆16Updated 9 years ago
- Author microservices without thinking about faults or servers. Then compile and deploy anywhere.☆44Updated 3 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- Experiments with higher-kinded types and object algebras in C#☆35Updated 4 years ago
- Simple tools for working with immutable trees☆55Updated 2 weeks ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 4 months ago
- This repo contains the code for building http://source.dot.net☆50Updated this week
- Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller☆25Updated last year
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆15Updated 3 years ago
- Forking Prolog.NET by R. Todd from CodePlex☆24Updated 2 weeks ago
- ONNX format parsing and manipulation in C#.☆24Updated 2 months ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Updated 7 years ago
- ☆25Updated 6 months ago
- Invertible Bloom filter written in C# for efficiently estimating set differences.☆20Updated 7 years ago
- Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.☆53Updated last year
- Symbolic execution engine for .NET Core☆49Updated 3 weeks ago