A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆36Jul 21, 2026Updated this 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☆12Aug 3, 2023Updated 2 years ago
- Local-First Vector Database with RxDB and transformers.js☆27Sep 10, 2024Updated last year
- STRIPS benchmarks for classical planning☆15Mar 29, 2022Updated 4 years ago
- Solving a planning problem (Shakey's World) with the FF and IPP planners, the PDDL language and some Python meta-programming to glue thin…☆16May 28, 2017Updated 9 years ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- 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.
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- Optimize the performance of important tasks by delaying background-tasks☆22Mar 13, 2026Updated 4 months ago
- Create a noop process and get the PID☆14Aug 10, 2021Updated 4 years ago
- Client-side faceted search engine☆28Sep 17, 2024Updated last year
- Example of Electron.js Microservices application☆10Mar 4, 2019Updated 7 years ago
- Store information about any JS value in a side channel. Uses WeakMap if available.☆18Jun 8, 2026Updated last month
- A fast, lightweight, powerful and cross-platform key-value database for Node.js, Deno, and Bun.☆50Feb 20, 2026Updated 5 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☆20May 29, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Oct 1, 2016Updated 9 years ago
- A voting software for remote teams☆14Updated this week
- 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
- A Modbus TCP browser application as a command-line client.☆12May 7, 2022Updated 4 years ago
- Search plugin for RxDB based on search-index☆17Apr 2, 2025Updated last year
- ☆10Feb 28, 2019Updated 7 years ago
- json-rpc-on-a-stream☆14Jan 7, 2022Updated 4 years ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆14Jul 17, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Efficiently maintain a set of nodes ordered by the time they were added to the set☆13Oct 8, 2024Updated last year
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago
- Solution architecture and source code for azure event hub message reply using event hub capture to azure storage account☆15Jun 25, 2019Updated 7 years ago
- Run a piece of code when the javascript process stops. Works in all environments (browsers, nodejs..)☆58Updated this week
- Cache optimised for record like things☆26Jan 1, 2026Updated 6 months ago
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 8 years ago
- R interface for the QuickJS lightweight javascript engine☆17Jul 1, 2026Updated 3 weeks ago
- Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"☆12Jul 12, 2021Updated 5 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 2 years ago
- Code accompanying the paper "TiZero: Mastering Multi-Agent Football with Curriculum Learning and Self-Play" (AAMAS 2023) 足球游戏智能体☆14May 25, 2023Updated 3 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- High performance qps counter☆16Feb 12, 2022Updated 4 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆14Aug 5, 2025Updated 11 months ago