Skip to content
@ariadne-cps

Ariadne

Environment for rigorous computation on cyber-physical systems

Pinned

  1. release-1.0 release-1.0 Public

    Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

    C++

  2. ariadne ariadne Public

    C++ framework for rigorous computation on cyber-physical systems

    C++ 25 9

Repositories

Showing 10 of 13 repositories
  • ariadne Public

    C++ framework for rigorous computation on cyber-physical systems

    C++ 25 GPL-3.0 9 155 2 Updated May 14, 2024
  • verifiedcalculus Public

    A Coq library with verified interval and polynomial model arithmetic

    Coq 1 GPL-3.0 0 0 0 Updated Apr 24, 2024
  • helper Public

    Utilities for C++ development

    C++ 0 MIT 0 0 1 Updated Oct 31, 2023
  • pexplore Public

    Parallel exploration of properties of an iterative procedure.

    C++ 0 MIT 0 0 0 Updated May 12, 2023
  • pronest Public

    Nested property management, to construct and search values inside a tree of properties of a tool

    C++ 0 MIT 0 6 0 Updated May 4, 2023
  • symbolicore Public

    Core for symbolic operations in C++

    C++ 0 MIT 0 0 0 Updated Apr 24, 2023
  • betterthreads Public

    A C++ thread managing library using concurrent logging

    C++ 0 MIT 0 1 0 Updated Apr 24, 2023
  • website Public

    The sources for the website

    CSS 0 0 0 0 Updated Mar 15, 2023
  • conclog Public

    A concurrent C++ logger

    C++ 2 MIT 0 3 0 Updated Dec 6, 2022
  • opera-scenarios Public

    Scenarios data and executables for checking and running them with Opera

    0 0 0 0 Updated Nov 27, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…