Skip to content
@ariadne-cps

Ariadne

Environment for rigorous computation on cyber-physical systems

Pinned Loading

  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++ 28 9

Repositories

Showing 10 of 13 repositories
  • ariadne Public

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

    ariadne-cps/ariadne’s past year of commit activity
    C++ 28 GPL-3.0 9 163 2 Updated Nov 28, 2024
  • verifiedcalculus Public

    A Coq library with verified interval and polynomial model arithmetic

    ariadne-cps/verifiedcalculus’s past year of commit activity
    Coq 1 GPL-3.0 0 0 0 Updated Sep 23, 2024
  • helper Public

    Utilities for C++ development

    ariadne-cps/helper’s past year of commit activity
    C++ 0 MIT 0 0 1 Updated Oct 31, 2023
  • pexplore Public

    Parallel exploration of properties of an iterative procedure.

    ariadne-cps/pexplore’s past year of commit activity
    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

    ariadne-cps/pronest’s past year of commit activity
    C++ 0 MIT 0 6 0 Updated May 4, 2023
  • symbolicore Public

    Core for symbolic operations in C++

    ariadne-cps/symbolicore’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Apr 24, 2023
  • betterthreads Public

    A C++ thread managing library using concurrent logging

    ariadne-cps/betterthreads’s past year of commit activity
    C++ 0 MIT 0 1 0 Updated Apr 24, 2023
  • website Public

    The sources for the website

    ariadne-cps/website’s past year of commit activity
    CSS 0 0 0 0 Updated Mar 15, 2023
  • conclog Public

    A concurrent C++ logger

    ariadne-cps/conclog’s past year of commit activity
    C++ 2 MIT 0 3 0 Updated Dec 6, 2022
  • opera-scenarios Public

    Scenarios data and executables for checking and running them with Opera

    ariadne-cps/opera-scenarios’s past year of commit activity
    0 0 0 0 Updated Nov 27, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…