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
  ☆97Updated last year
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆46Updated 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…
  ☆72Updated 6 months ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆79Updated 4 years ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 6 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆29Updated this week
• LeeSanderson / Chess
  A concurency testing tool
  ☆56Updated 5 years ago
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆37Updated 2 months ago
• RicardoNiepel / Z3.LinqBinding
  LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
  ☆14Updated 3 years ago
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated 8 months ago
• nblumhardt / superpower
  A C# parser combinator library
  ☆19Updated 4 years ago
• pvginkel / Microsoft.CodeAnalysis.CSharp.PatternMatching
  Pattern matching for Roslyn syntax trees
  ☆29Updated 6 years ago
• allisterb / Compute.NET
  .NET bindings for native numerical computing
  ☆31Updated 7 years ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆49Updated 3 weeks ago
• tmds / Tmds.LinuxAsync
  ☆25Updated 8 months ago
• microsoft / perfviewjs
  Web-based Viewer for ETL and NetPerf Data
  ☆30Updated 2 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 2 months ago
• benjamin-hodgson / Sawmill
  Simple tools for working with immutable trees
  ☆57Updated 2 weeks ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆52Updated 5 years ago
• brianberns / FRange
  .NET library for working with ranges of values
  ☆15Updated last year
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 2 years ago
• dotnet / source-indexer
  This repo contains the code for building http://source.dot.net
  ☆51Updated last month
• moloneymb / BERTInFSharp
  BERT model translated to F# using TF.Net
  ☆11Updated 2 years ago
• terrajobst / nquery-vnext
  A Roslyn inspired rewrite of NQuery
  ☆74Updated 3 months ago
• abdullin / sim-cluster
  Discrete event simulation of a cluster of machines with .NET Core async/await
  ☆33Updated 6 years ago
• ReubenBond / fast-caspaxos
  Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
  ☆18Updated 2 months ago
• Partydonk / partydonk
  ☆33Updated 4 years ago
• dotnet / msbuild-language-service
  A language service for MSBuild files
  ☆24Updated 3 years ago
• kkokosa / Mobius.ILasm
  Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.
  ☆54Updated last year
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆35Updated 4 years ago