A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆35Updated 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
Sorting:
- RxDB Plugin based on FlexSearch implementation☆12Aug 3, 2023Updated 2 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- Guides and reference material for the Workflow Description Language.☆16Feb 12, 2026Updated 2 weeks ago
- Example of Electron.js Microservices application☆10Mar 4, 2019Updated 6 years ago
- SVG Navigator is an extension for Google Chrome that adds pan and zoom features to existing SVG files on the web.☆17Feb 25, 2025Updated last year
- Moleculer service for loose coupled event handling☆13May 25, 2024Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- Locality-Sensitive Hashing implementation in node.js for fast and scalable approximate nearest neighbors search☆13Mar 31, 2019Updated 6 years ago
- Hanoi Omega-Automata Format☆15Nov 20, 2022Updated 3 years ago
- A simple and stupid one-page offline html doc/report generator using pure Go☆17Dec 7, 2014Updated 11 years ago
- Search plugin for RxDB based on search-index☆17Apr 2, 2025Updated 11 months ago
- mini is mini☆20Jan 19, 2020Updated 6 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 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 8 years ago
- Optimize the performance of important tasks by delaying background-tasks☆22May 27, 2025Updated 9 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Migrate JSON-Schema draft-04 to draft-07, draft-2019-09 or draft-2020-12☆28Mar 28, 2021Updated 4 years ago
- Moleculer for the browser.☆30Oct 13, 2020Updated 5 years ago
- Free ChatGPT API Key,免费ChatGPT API,支持GPT4 API,ChatGPT国内可用免费转发API,直连无需代理。☆13Aug 28, 2024Updated last year
- RoboCup@Home Education | Learning resources: ROS sample code☆31Jan 2, 2024Updated 2 years ago
- Advanced Database Access Service for Moleculer microservices framework☆33Feb 1, 2026Updated last month
- 2D triangulation library. Allows translating lines and polygons (both based on points) to the language of GPUs.☆37Aug 4, 2021Updated 4 years ago
- Generate TypeScript .d.ts files for using tree-sitter grammars.☆30Apr 11, 2025Updated 10 months ago
- Fastify ping responder for Kubernetes Liveness and Readiness Probes☆33Jan 20, 2026Updated last month
- ☆32Mar 21, 2024Updated last year
- Annuaire cartographique France services☆12Oct 14, 2025Updated 4 months ago
- Generate source code for a set of Python classes from a JSON schema.☆38Oct 25, 2022Updated 3 years ago
- XML deserializer/serializer for TypeScript classes with decorators☆11Sep 29, 2023Updated 2 years ago
- kdb Visual Studio Code extension☆22Feb 20, 2026Updated last week
- Template project for Bow and Arrow series.☆11Jun 12, 2019Updated 6 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆15Oct 5, 2023Updated 2 years ago
- A Cytoscape.js extension to import from and export to GraphML format☆32Mar 19, 2025Updated 11 months ago
- A fast, lightweight, powerful and cross-platform key-value database for Node.js, Deno, and Bun.☆47Feb 20, 2026Updated last week
- An open-source logical data modeler to support the model driven data engineering approach.☆15Updated this week
- Replicate a PouchDB over a WebRTC DataChannel.☆37Oct 11, 2015Updated 10 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- It's a DLL for Robot software. Not only Robot but also Jig.☆10Jun 28, 2025Updated 8 months ago