A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆36Aug 4, 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 3 years ago
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- Guides and reference material for the Workflow Description Language.☆16Feb 12, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Nov 12, 2017Updated 8 years ago
- An algorithm to optimize database queries that run multiple times https://pubkey.github.io/event-reduce/☆755Updated this week
- Optimize the performance of important tasks by delaying background-tasks☆22Mar 13, 2026Updated 4 months ago
- A Python library for evaluating planners and other solvers.☆36Jul 31, 2026Updated last 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 5 years ago
- 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 2 months ago
- Locality-Sensitive Hashing implementation in node.js for fast and scalable approximate nearest neighbors search☆13Mar 31, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Moleculer service for loose coupled event handling☆13May 25, 2024Updated 2 years ago
- Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer☆28Jun 21, 2021Updated 5 years ago
- A voting software for remote teams☆14Jul 27, 2026Updated 2 weeks ago
- A Modbus TCP browser application as a command-line client.☆12May 7, 2022Updated 4 years ago
- ☆10Feb 28, 2019Updated 7 years ago
- ☆11Mar 31, 2023Updated 3 years ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆14Jul 17, 2025Updated last year
- RethinkDB Next Generation Admin UI☆17Updated this week
- Efficiently maintain a set of nodes ordered by the time they were added to the set☆13Oct 8, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Run a piece of code when the javascript process stops. Works in all environments (browsers, nodejs..)☆58Updated this week
- 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
- Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"☆12Jul 12, 2021Updated 5 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆48Updated this week
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 2 years ago
- Get the intersection of two sorted streams.☆17Jan 15, 2020Updated 6 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
- Code accompanying the paper "TiZero: Mastering Multi-Agent Football with Curriculum Learning and Self-Play" (AAMAS 2023) 足球游戏智能体☆14May 25, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- RxDB + SvelteKit☆13Jun 21, 2021Updated 5 years ago
- High performance qps counter☆16Feb 12, 2022Updated 4 years ago
- A stream that can mimic network latency☆21Feb 6, 2020Updated 6 years ago
- Typed binary parsing for typescript☆17Jun 22, 2026Updated last month
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Basic primitives for working with binary data☆26Mar 9, 2025Updated last year
- PDDL planner for ROS☆10Apr 4, 2014Updated 12 years ago