A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆35May 12, 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
- Guides and reference material for the Workflow Description Language.☆16Feb 12, 2026Updated 3 months 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 8 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- 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.
- An algorithm to optimize database queries that run multiple times https://pubkey.github.io/event-reduce/☆753May 15, 2026Updated last week
- Ensure a function is stable, meaning the same input always produces the same output☆16Nov 4, 2023Updated 2 years ago
- Store information about any JS value in a side channel. Uses WeakMap if available.☆18Jan 13, 2026Updated 4 months ago
- Advisory cross-platform lock on a file using a file descriptor to it.☆40Nov 10, 2025Updated 6 months ago
- ☆10Oct 1, 2016Updated 9 years ago
- Client-side faceted search engine☆28Sep 17, 2024Updated last year
- 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
- json-rpc-on-a-stream☆14Jan 7, 2022Updated 4 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.
- 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
- Hanoi Omega-Automata Format☆16Nov 20, 2022Updated 3 years ago
- Cache optimised for record like things☆26Jan 1, 2026Updated 4 months ago
- ☆10Feb 28, 2019Updated 7 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- Run a piece of code when the javascript process stops. Works in all environments (browsers, nodejs..)☆57Updated this week
- Mutex Server using WebSocket☆32Jun 25, 2024Updated last year
- Solution architecture and source code for azure event hub message reply using event hub capture to azure storage account☆15Jun 25, 2019Updated 6 years ago
- 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.
- 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
- TypeDoc Theme which is wonderful for GitHub pages☆18Feb 15, 2026Updated 3 months ago
- R interface for the QuickJS lightweight javascript engine☆17Updated this week
- Software Language Processing Suite☆48Dec 3, 2021Updated 4 years 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
- Client-side vector database implementation in TypeScript☆12Jun 30, 2023Updated 2 years ago
- RxDB + SvelteKit☆13Jun 21, 2021Updated 4 years ago
- ☆11Mar 31, 2023Updated 3 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.
- A plugin for TypeDoc that adds coverage badge generation☆17Apr 13, 2026Updated last month
- 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
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- A clone of Reddit using T3 Stack (create-t3-app)☆12Aug 10, 2023Updated 2 years ago
- A reactive document database for web browsers☆11Mar 21, 2024Updated 2 years ago