A performant and ergonomic implementation of binary decision diagrams for .NET
☆60Aug 30, 2023Updated 3 years ago
Alternatives and similar repositories for DecisionDiagrams
Users that are interested in DecisionDiagrams are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zen is a constraint solving library for .NET☆150Jan 8, 2024Updated 2 years ago
- A tool for finding configuration anomalies.☆14Jul 31, 2024Updated 2 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆43Updated this week
- Static verification tool for DNS zone files☆83Jan 8, 2023Updated 3 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆21Aug 2, 2022Updated 4 years ago
- Fullstack micro-actor-services for Rx☆14Oct 12, 2026Updated 3 weeks ago
- ☆19Jul 28, 2022Updated 4 years ago
- Highly reuseable classes I find to be missing in .NET's FCL.☆21Dec 13, 2016Updated 9 years ago
- Cypher queries in F#☆11Oct 29, 2019Updated 7 years ago
- Small C# caching and cache-filling library, intended as a replacement for memcached in many cases.☆16Aug 14, 2026Updated 2 months ago
- Flash Artifact for SIGCOMM22☆15Jun 14, 2022Updated 4 years ago
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆35Sep 28, 2023Updated 3 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…☆90Mar 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Stacked Pull Request Tool☆12Jul 8, 2023Updated 3 years ago
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- High-performance .NET regex engine with predictable performance☆50Sep 7, 2023Updated 3 years ago
- Binary object notation - a standard for representing JSON in a compact, efficient format☆17Jun 12, 2023Updated 3 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆18May 29, 2024Updated 2 years ago
- C# Specification for https://github.com/vega/vega-lite☆10Aug 12, 2021Updated 5 years ago
- File system WPF graph☆10May 28, 2013Updated 13 years ago
- ☆19Jan 23, 2026Updated 9 months ago
- Easily add searching to your apps☆14Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- VelocityDB & VelocityGraph open source libraries, applications and samples☆84Mar 3, 2023Updated 3 years ago
- WPF Transitions library with set of nice transitions☆12Jan 31, 2021Updated 5 years ago
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 years ago
- A minimal message queue☆11Dec 11, 2022Updated 3 years ago
- A compiler framework for managed code.☆53Mar 28, 2026Updated 7 months ago
- A collection of awesome .NET libraries, tools, frameworks and software. 😎 Awesome lists about all kinds of interesting topics. With repo…☆15Updated this week
- Author microservices without thinking about faults or servers. Then compile and deploy anywhere.☆46Dec 10, 2020Updated 5 years ago
- C# Game engine using Raylib-CS + Entitas lite as an ECS. Has its own UI and content system.☆15Jan 2, 2025Updated last year
- LaunchApp Tag Maker allows you to ceate NFC tags which can launch any apps available at http://www.windowsphone.com/ or apps that you in…☆20Nov 12, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- QuickInject is a simple dependency injection container for .NET Core☆47Jun 12, 2023Updated 3 years ago
- A .NET implementation of Facebook's Gorilla time series compression algorithm☆13Dec 7, 2022Updated 3 years ago
- Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller☆27Jun 13, 2023Updated 3 years ago
- A WPF control for choosing date ranges.☆13Nov 20, 2022Updated 3 years ago
- Byter: C# library for serializing and deserializing data to and from bytes, supporting unlimited complexity and depth.⚡☆11May 2, 2025Updated last year
- Benchmarks showing the difference between the naive intrinsics usage and the optimized code that takes advantage of alignment and pipelin…☆12Jul 24, 2018Updated 8 years ago
- C++ library for dynamic graph layout☆11Jun 21, 2025Updated last year