Skip to content
Change the repository type filter

All

    Repositories list

    • A Coq library with verified interval and polynomial model arithmetic
      Rocq Prover
      0100Updated Feb 4, 2026Feb 4, 2026
    • ariadne

      Public
      C++ framework for rigorous computation on cyber-physical systems
      C++
      9291713Updated Jan 22, 2026Jan 22, 2026
    • opera

      Public
      Framework for collision prediction of robots and humans
      C++
      0160Updated Aug 21, 2025Aug 21, 2025
    • website

      Public
      The sources for the website
      CSS
      0000Updated Jul 4, 2025Jul 4, 2025
    • Tap for macOS Homebrew formulae
      Ruby
      0000Updated Jul 4, 2025Jul 4, 2025
    • A C++ thread managing library using concurrent logging
      C++
      0010Updated Jul 2, 2025Jul 2, 2025
    • helper

      Public
      Utilities for C++ development
      C++
      0001Updated Jul 2, 2025Jul 2, 2025
    • conclog

      Public
      A concurrent C++ logger
      C++
      0240Updated Jul 2, 2025Jul 2, 2025
    • pexplore

      Public
      Parallel exploration of properties of an iterative procedure.
      C++
      0000Updated May 12, 2023May 12, 2023
    • pronest

      Public
      Nested property management, to construct and search values inside a tree of properties of a tool
      C++
      0060Updated May 4, 2023May 4, 2023
    • Core for symbolic operations in C++
      C++
      0000Updated Apr 24, 2023Apr 24, 2023
    • Scenarios data and executables for checking and running them with Opera
      0000Updated Nov 27, 2022Nov 27, 2022
    • Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
      C++
      00350Updated Apr 25, 2021Apr 25, 2021