C++ library for creating and manipulating decision diagrams.
☆14Dec 3, 2025Updated 3 months ago
Alternatives and similar repositories for DecisionDiagrams
Users that are interested in DecisionDiagrams are comparing it to the libraries listed below
Sorting:
- Asio Buffers without the Asio☆17Jan 5, 2026Updated 2 months ago
- This Program will help people identify common C syntax mistake that they had done in their program and some checks.☆11Jun 11, 2020Updated 5 years ago
- Compile-time string processing utilities, with TypeName resolution and built-in file path manipulation☆14Feb 23, 2026Updated 2 weeks ago
- Software Development Kit (SDK) for Smart Pendant Extensions☆17Updated this week
- TouchGFX simulator development in Visual Studio Code with CMake☆14Mar 25, 2025Updated 11 months ago
- synced is a user space Synchronous Ethernet (Sync-E) stack for the Linux operating system. synced facilitates Sync-E, according to the IT…☆11Feb 5, 2025Updated last year
- Not yet another spectrum analyzer — an experimental DSP & graphics playground. It combines real-time C++ performance with Python flexibi…☆29Feb 22, 2026Updated 2 weeks ago
- 短链接服务器，基于proactor的多线程服务器，maysql作为发号器，redis缓存☆10Jun 2, 2021Updated 4 years ago
- Contains product samples for TF6620 TC3 S7 Communication☆10Sep 15, 2022Updated 3 years ago
- This repository contains codes for solving inverse obstacle scattering problems to recover the shape of the obstacle for sound soft, soun…☆12Jul 9, 2024Updated last year
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- A cross-platform framework for basic components.☆13Feb 16, 2025Updated last year
- ☆11Nov 24, 2025Updated 3 months ago
- The modern argument parser for c++ tools☆11Updated this week
- ☆10Jan 27, 2026Updated last month
- ☆11Sep 8, 2022Updated 3 years ago
- Set of planning and navigation algorithms - RRT, MPC, Velocity Obstacle☆13Aug 4, 2021Updated 4 years ago
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 12 years ago
- ☆11Jan 20, 2021Updated 5 years ago
- ISO-on-TCP Protocol implementation for Node.JS☆10Mar 4, 2023Updated 3 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- ☆12May 7, 2025Updated 10 months ago
- ☆11Sep 22, 2017Updated 8 years ago
- Generate include dependency diagram☆12Jul 4, 2021Updated 4 years ago
- Resources for integrating data from ATI Ethernet-based Force/Torque sensors into Yaskawa robots. Compatible with Ethernet-Axia sensors an…☆13Jan 19, 2022Updated 4 years ago
- A MAPF Algorithm Visualizer☆11Mar 2, 2025Updated last year
- Robot motion profiler/path planner for use in FRC Java programming☆12Jun 27, 2020Updated 5 years ago
- ☆12Apr 12, 2022Updated 3 years ago
- [de]Serializes any json object or value to a C++ type with the magic of compile time reflection.☆11Jun 22, 2023Updated 2 years ago
- For Mitsubishi PLC☆12Apr 12, 2013Updated 12 years ago
- Generates motion, force and torque profiles for electric motor selection.☆14Jul 6, 2023Updated 2 years ago
- An open source algebraic modelling language implemented as a C++ class library☆11Aug 18, 2020Updated 5 years ago
- FOC driver board based on Qfplib-m3 and STM32F103C8T6 with algorithm. Use torque, velocity and angle control. Several applications based …☆16Aug 10, 2023Updated 2 years ago
- This repo relate to implementing c++ code of obstacle avoidance algorithm name Reciprocal Velocity Obstacle on Gazebo simulator and ROS1.…☆11May 31, 2022Updated 3 years ago
- IBM Maximo Visual Inspection sample terraform templates for deployment in IBM Cloud (formerly IBM PowerAI Vision and IBM Visual Insights)☆10Oct 26, 2021Updated 4 years ago
- Library for creating curves. Forked from https://github.com/stonneau/spline☆13Mar 2, 2026Updated last week
- ☆10May 24, 2019Updated 6 years ago
- siasun robot package for ROS☆10Mar 6, 2020Updated 6 years 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 5 years ago