MichalMrena / DecisionDiagramsLinks
C++ library for creating and manipulating decision diagrams.
☆13Updated 2 weeks ago
Alternatives and similar repositories for DecisionDiagrams
Users that are interested in DecisionDiagrams are comparing it to the libraries listed below
Sorting:
- Redirects to https://github.com/richelbilderbeek/boost_graph_cookbook_1☆14Updated 4 years ago
- A FAST C++ library to validate the HTTP requests against the OpenAPI specifications of the REST server.☆17Updated last week
- Access/Serve zserio services via REST/OpenAPI 🌍.☆15Updated last week
- A simple and easy C++ Finite State Machine (FSM) container, with full manual☆27Updated 3 weeks ago
- A tiny framework to wrap algorithms for dataflow programming☆40Updated 11 months ago
- C++20's jthread for C++11 and later in a single-file header-only library (WIP).☆65Updated last month
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- DSL schemas parser and code generators for CommsChampion Ecosystem☆22Updated this week
- Weighted and unweighted graphs and digraphs with C++☆17Updated 4 years ago
- C++ FMUs☆16Updated 3 years ago
- GTL (Graph Template Library) is a STL based library, which provides necessary classes and algorithms for the work with graphs.☆21Updated 3 years ago
- Boost.org graph_parallel module☆33Updated last week
- A Petri net based automation engine.☆17Updated 4 months ago
- Single-header C++ library for bit manipulation.☆26Updated 4 years ago
- Easily plotting from within C++ using Matplotlib, Python and pybind11☆15Updated 6 years ago
- C++ implementation of the Interior Point Methods (CPPIPM)☆44Updated 7 years ago
- A cross-platform framework for basic components.☆12Updated 9 months ago
- Yet Another C++ Library☆23Updated last year
- A genetic algorithms library in C++ for single- and multi-objective optimization.☆39Updated 3 months ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆25Updated 9 years ago
- libcluon is a small and efficient, single-file and header-only library written in modern C++ to power microservices.☆108Updated 7 months ago
- ☆14Updated last year
- Filter out GPS Noise on Arduino and applying a Kalman Filter with SSE implementation☆17Updated 4 years ago
- kalman-estimator - a Kalman estimator in C++☆23Updated 4 years ago
- Header-only cubic spline interpolator for C++☆22Updated 2 years ago
- Software platform and algorithms for multi-body dynamics simulation, control, estimation, and path-planning. Intended for robotics softwa…☆42Updated 10 months ago
- Algebraic modeling library in C++ for linear optimization solvers☆44Updated 6 years ago
- ROS-independent library for dynamic class (i.e. plugin) introspection and loading from runtime libraries☆38Updated last month
- C++ header-only library for the full family of Xoshiro/Xoroshiro random number generators☆22Updated 2 months ago
- LALR(1) parser for C++☆80Updated last year