Pinned Repositories
ariadne
C++ framework for rigorous computation on cyber-physical systems
betterthreads
A C++ thread managing library using concurrent logging
conclog
A concurrent C++ logger
homebrew-tap
Tap for macOS Homebrew formulae
opera
Framework for collision prediction of robots and humans
opera-scenarios
Scenarios data and executables for checking and running them with Opera
pronest
Nested property management, to construct and search values inside a tree of properties of a tool
release-1.0
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
symbolicore
Core for symbolic operations in C++
verifiedcalculus
A Coq library with verified interval and polynomial model arithmetic
Ariadne's Repositories
ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
ariadne-cps/conclog
A concurrent C++ logger
ariadne-cps/opera
Framework for collision prediction of robots and humans
ariadne-cps/verifiedcalculus
A Coq library with verified interval and polynomial model arithmetic
ariadne-cps/betterthreads
A C++ thread managing library using concurrent logging
ariadne-cps/homebrew-tap
Tap for macOS Homebrew formulae
ariadne-cps/opera-scenarios
Scenarios data and executables for checking and running them with Opera
ariadne-cps/pronest
Nested property management, to construct and search values inside a tree of properties of a tool
ariadne-cps/release-1.0
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
ariadne-cps/symbolicore
Core for symbolic operations in C++
ariadne-cps/website
The sources for the website
ariadne-cps/helper
Utilities for C++ development
ariadne-cps/pexplore
Parallel exploration of properties of an iterative procedure.