A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆36Jun 24, 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☆12Aug 3, 2023Updated 2 years ago
- STRIPS benchmarks for classical planning☆15Mar 29, 2022Updated 4 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Optimize the performance of important tasks by delaying background-tasks☆22Mar 13, 2026Updated 3 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated 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.
- An algorithm to optimize database queries that run multiple times https://pubkey.github.io/event-reduce/☆754Updated this week
- Ensure a function is stable, meaning the same input always produces the same output☆16Nov 4, 2023Updated 2 years ago
- Create a noop process and get the PID☆14Aug 10, 2021Updated 4 years ago
- A Python library for evaluating planners and other solvers.☆35Jun 22, 2026Updated last week
- ☆10Oct 1, 2016Updated 9 years ago
- Example of Electron.js Microservices application☆10Mar 4, 2019Updated 7 years ago
- Moleculer service for loose coupled event handling☆13May 25, 2024Updated 2 years ago
- ☆16Apr 8, 2017Updated 9 years ago
- A voting software for remote teams☆14Jun 22, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Node in the middle. Intercept calls to the node binary and set some node specific flags before running a program☆26Aug 10, 2018Updated 7 years ago
- Locality-Sensitive Hashing implementation in node.js for fast and scalable approximate nearest neighbors search☆13Mar 31, 2019Updated 7 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 years ago
- json-rpc-on-a-stream☆14Jan 7, 2022Updated 4 years ago
- Model based testing with Jest, XState and Puppeteer or Playwright made easy☆31Dec 2, 2020Updated 5 years ago
- Search plugin for RxDB based on search-index☆17Apr 2, 2025Updated last year
- Efficiently maintain a set of nodes ordered by the time they were added to the set☆13Oct 8, 2024Updated last year
- ☆17Dec 5, 2018Updated 7 years ago
- Run a piece of code when the javascript process stops. Works in all environments (browsers, nodejs..)☆58Jun 25, 2026Updated last 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.
- 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
- tox for conda☆23Sep 19, 2016Updated 9 years ago
- Basic primitives for working with binary data☆26Mar 9, 2025Updated last year
- 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
- TypeDoc Theme which is wonderful for GitHub pages☆20Feb 15, 2026Updated 4 months ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆11Nov 29, 2024Updated last year
- Code accompanying the paper "TiZero: Mastering Multi-Agent Football with Curriculum Learning and Self-Play" (AAMAS 2023) 足球游戏智能体☆14May 25, 2023Updated 3 years ago
- IPyHOP is a Re-entrant Iterative GTPyHOP written in Python 3. PyHOP is an acronym for Python Hierarchical Ordered Planner.☆12Aug 12, 2022Updated 3 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Integration of the planning system Fast Downward with the unified-planning framework.☆14Aug 5, 2025Updated 10 months ago
- Tarski - An AI Planning Modeling Framework☆71Dec 23, 2025Updated 6 months ago
- An implementation of the Conflict-Based Search, written in Python 3. This project, however, will support weighted edges and uncertainty r…☆11Jun 13, 2020Updated 6 years ago
- SVG Navigator is an extension for Google Chrome that adds pan and zoom features to existing SVG files on the web.☆18Feb 25, 2025Updated last year
- PyBullet-based Robot Simulation and Motion Planning maintained by CAIRO Lab.☆12Jul 6, 2023Updated 2 years ago
- A monorepo using a domain-oriented architecture.☆22Feb 5, 2024Updated 2 years ago
- NL2Flow: A PDDL Interface to Flow Construction☆15Dec 4, 2025Updated 6 months ago