Spot is a C++17 library for ω-automata and LTL formulas manipulations, with applications to model checking and reactive synthesis. It comes with a dozen command-line utilities and Python bindings.
Jau Support Library (C++, Java, ...)
This project aims to provide general C++ and Java collections, algorithms and utilities - as well as basic concepts to support a Java JNI binding.
This project was extracted from Direct-BT to enable general use and enforce better encapsulation.
Status
... [More]
Build and clang-tidy clean on C++17 and C++20, passing all unit tests. [Less]
Direct-BT provides direct Bluetooth LE and BREDR programming, offering robust high-performance support for embedded & desktop with zero overhead via C++ and Java.
It supports a fully event driven workflow from adapter management and device discovery to GATT programming, using its platform
... [More] agnostic HCI, L2CAP, SMP and GATT protocol implementation.
Multiple Bluetooth adapter are handled, as well as multiple concurrent connections per adapter.
Peripheral server device programming is supported as well as the central client, which is also used for Java and C++ self unit testing across two or more Bluetooth adapter. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy