Alternatives and similar repositories for DecisionDiagrams:

Users that are interested in DecisionDiagrams are comparing it to the libraries listed below

• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆101Updated last year
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆48Updated last year
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 4 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆80Updated 4 years ago
• microsoft / Guan
  Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…
  ☆77Updated last month
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated 11 months ago
• allisterb / Compute.NET
  .NET bindings for native numerical computing
  ☆31Updated 7 years ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 7 years ago
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆38Updated 5 months ago
• ShiftLeftSecurity / SharpSyntaxRewriter
  A C# syntax rewriter
  ☆20Updated 2 years ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆51Updated 4 months ago
• ninjarobot / Pengines.Client
  ☆11Updated 2 years ago
• RicardoNiepel / Z3.LinqBinding
  LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
  ☆14Updated 3 years ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 5 years ago
• Nucs / Regen
  Regen is an intuitive in-code templating engine based on a regen-lang created to replace T4 Templating.
  ☆25Updated 5 years ago
• microsoft / rudder
  Static analysis of MSIL based on the analysis-net infrastructure
  ☆19Updated 2 years ago
• nietras / OnnxSharp
  ONNX format parsing and manipulation in C#.
  ☆28Updated 3 months ago
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 2 years ago
• brianberns / FRange
  .NET library for working with ranges of values
  ☆15Updated last year
• microsoft / CRA
  Common Runtime for Applications (CRA) is a software layer (library) that makes it easy to create and deploy distributed dataflow-style ap…
  ☆57Updated 6 months ago
• abdullin / sim-cluster
  Discrete event simulation of a cluster of machines with .NET Core async/await
  ☆34Updated 7 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆38Updated 3 weeks ago
• enricosada / sln
  Sln parser
  ☆14Updated 4 years ago
• spectreconsole / terminal
  A terminal abstraction with platform-specific drivers.
  ☆25Updated 2 years ago
• tunnelvisionlabs / dotnet-trees
  Efficient implementations of standard .NET collection interfaces using tree data structures
  ☆46Updated 4 years ago
• kant2002 / fstarsample
  Sample how to perform export of F* to F# with Nuget
  ☆9Updated 7 months ago
• gerardtoconnor / Skylight
  A composable high level window library for F# and WPF to explore using Computation Expression UI
  ☆43Updated 6 years ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆58Updated 6 years ago
• dotnet / msbuild-language-service
  A language service for MSBuild files
  ☆25Updated 4 years ago
• microsoft / ReactiveMachine
  Author microservices without thinking about faults or servers. Then compile and deploy anywhere.
  ☆44Updated 4 years ago