A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆36Oct 2, 2026Updated last week
Alternatives and similar repositories for binary-decision-diagram
Users that are interested in binary-decision-diagram are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RxDB Plugin based on FlexSearch implementation☆13Aug 3, 2023Updated 3 years ago
- Local-First Vector Database with RxDB and transformers.js☆28Sep 10, 2024Updated 2 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆21Sep 19, 2026Updated 3 weeks ago
- Guides and reference material for the Workflow Description Language.☆16Aug 28, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Optimize the performance of important tasks by delaying background-tasks☆22Mar 13, 2026Updated 6 months ago
- Ensure a function is stable, meaning the same input always produces the same output☆16Nov 4, 2023Updated 2 years ago
- Client-side faceted search engine☆29Sep 17, 2024Updated 2 years ago
- A fast, lightweight, powerful and cross-platform key-value database for Node.js, Deno, and Bun.☆50Feb 20, 2026Updated 7 months ago
- Locality-Sensitive Hashing implementation in node.js for fast and scalable approximate nearest neighbors search☆13Mar 31, 2019Updated 7 years ago
- Common Data Representation serialization and deserialization library☆22May 29, 2026Updated 4 months ago
- ☆10Oct 1, 2016Updated 10 years ago
- Model based testing with Jest, XState and Puppeteer or Playwright made easy☆32Dec 2, 2020Updated 5 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Search plugin for RxDB based on search-index☆18Apr 2, 2025Updated last year
- A Modbus TCP browser application as a command-line client.☆12May 7, 2022Updated 4 years ago
- Hanoi Omega-Automata Format☆16Nov 20, 2022Updated 3 years ago
- ☆11Mar 31, 2023Updated 3 years ago
- 2023 Capstone Design☆12Nov 2, 2023Updated 2 years ago
- Browser Extension component messaging framework☆19Oct 1, 2026Updated last week
- 🗺️ ASP planning tools for PDDL☆31Jul 9, 2021Updated 5 years ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆15Jul 17, 2025Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- 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.
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago
- Efficiently maintain a set of nodes ordered by the time they were added to the set☆13Oct 8, 2024Updated 2 years ago
- Run a piece of code when the javascript process stops. Works in all environments (browsers, nodejs..)☆58Updated this week
- Simple duplex stream based binary RPC module for well defined methods☆20Apr 26, 2021Updated 5 years ago
- Cache optimised for record like things☆26Jan 1, 2026Updated 9 months ago
- ☆10Jun 20, 2016Updated 10 years ago
- R interface for the QuickJS lightweight javascript engine☆17Sep 14, 2026Updated 3 weeks ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 years ago
- Writable stream that forwards everything in the highWaterMark buffer to a custom write function using the new writev api in streams☆20Nov 6, 2019Updated 6 years ago
- 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.
- Get the intersection of two sorted streams.☆17Jan 15, 2020Updated 6 years ago
- Derive a key and secret key file from a name☆20Dec 11, 2020Updated 5 years ago
- ☆17Dec 5, 2018Updated 7 years ago
- Mutex Server using WebSocket☆32Jun 25, 2024Updated 2 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆12Nov 29, 2024Updated last year
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- Evented Accounting Sourced from Yaml☆15Jul 1, 2026Updated 3 months ago