A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆35Jun 6, 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
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- Optimize the performance of important tasks by delaying background-tasks☆22Mar 13, 2026Updated 2 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- An algorithm to optimize database queries that run multiple times https://pubkey.github.io/event-reduce/☆755Updated this week
- 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.
- 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
- Store information about any JS value in a side channel. Uses WeakMap if available.☆18Jan 13, 2026Updated 4 months ago
- Lab is a framework for evaluating planners and other solvers.☆35May 2, 2026Updated last month
- Advisory cross-platform lock on a file using a file descriptor to it.☆40Nov 10, 2025Updated 7 months ago
- ☆10Oct 1, 2016Updated 9 years ago
- A fast, lightweight, powerful and cross-platform key-value database for Node.js, Deno, and Bun.☆50Feb 20, 2026Updated 3 months ago
- Example of Electron.js Microservices application☆10Mar 4, 2019Updated 7 years ago
- Client-side faceted search engine☆28Sep 17, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 4 years ago
- 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 Modbus TCP browser application as a command-line client.☆12May 7, 2022Updated 4 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 years ago
- A simple and stupid one-page offline html doc/report generator using pure Go☆17Dec 7, 2014Updated 11 years ago
- A fork of GlavSoft LLC.'s TightVNC Java viewer that utilizes SSH key-based authentication for SSH tunnels☆14Oct 27, 2013Updated 12 years ago
- Efficiently maintain a set of nodes ordered by the time they were added to the set☆13Oct 8, 2024Updated 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.
- ☆17Dec 5, 2018Updated 7 years ago
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- Derive a key and secret key file from a name☆20Dec 11, 2020Updated 5 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- High performance qps counter☆16Feb 12, 2022Updated 4 years ago
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago
- Basic primitives for working with binary data☆26Mar 9, 2025Updated last year
- A stream that can mimic network latency☆21Feb 6, 2020Updated 6 years ago
- TypeDoc Theme which is wonderful for GitHub pages☆18Feb 15, 2026Updated 3 months 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.
- Software Language Processing Suite☆48Dec 3, 2021Updated 4 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
- Kitchen sink of helpful utilities.☆56Mar 20, 2026Updated 2 months 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
- Client-side vector database implementation in TypeScript☆12Jun 30, 2023Updated 2 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆46May 28, 2026Updated 2 weeks ago
- A plugin for TypeDoc that adds coverage badge generation☆17Apr 13, 2026Updated last month