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
  ☆47Updated last year
• 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 week
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆80Updated 4 years ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 6 years ago
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆37Updated 3 months ago
• jaredpar / complog
  Basic Compilation Log support
  ☆37Updated this week
• RicardoNiepel / Z3.LinqBinding
  LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
  ☆14Updated 3 years ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆57Updated 6 years ago
• microsoft / perfviewjs
  Web-based Viewer for ETL and NetPerf Data
  ☆30Updated 2 years ago
• dotnet / source-indexer
  This repo contains the code for building http://source.dot.net
  ☆50Updated 2 months ago
• FrankBakkerNl / IntelliFind
  This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.
  ☆14Updated 9 years ago
• enricosada / sln
  Sln parser
  ☆14Updated 4 years ago
• kstatz12 / Perfy
  Performace Profiler/Monitor for .net applications
  ☆20Updated 2 years ago
• gerardtoconnor / Skylight
  A composable high level window library for F# and WPF to explore using Computation Expression UI
  ☆43Updated 6 years ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 5 years ago
• microsoft / CRA
  Common Runtime for Applications (CRA) is a software layer (library) that makes it easy to create and deploy distributed dataflow-style ap…
  ☆55Updated 4 months ago
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 2 years ago
• allisterb / Compute.NET
  .NET bindings for native numerical computing
  ☆31Updated 7 years ago
• microsoft / bion
  Binary object notation - a standard for representing JSON in a compact, efficient format
  ☆15Updated last year
• SimonCropp / Cymbal
  An MSBuild Task to enable exception line numbers for references in a deployed app
  ☆78Updated this week
• GuOrg / Gu.Reactive
  Helpers for using System.Reactive with INotifyPropertyChanged and INotifyCollectionChanged
  ☆22Updated last year
• nblumhardt / superpower
  A C# parser combinator library
  ☆19Updated 4 years ago
• daveaglick / MsBuildPipeLogger
  A logger for MSBuild that sends event data over anonymous or named pipes.
  ☆24Updated 8 months ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆51Updated 2 months ago
• Partydonk / partydonk
  ☆33Updated 4 years ago
• Slesa / Prolog.NET
  Forking Prolog.NET by R. Todd from CodePlex
  ☆29Updated 4 months ago
• brianberns / FRange
  .NET library for working with ranges of values
  ☆15Updated last year
• wowbios / FluentMermaid
  Mermaid.js fluent api for .NET
  ☆39Updated 2 years ago
• fsprojects / SyntacticVersioning
  Helper tool to verify semantic version changes based on API surface area changes
  ☆45Updated 3 weeks ago