Skip to content
Change the repository type filter

All

    Repositories list

    • Map handling framework for automated driving without ROS dependency
      C++
      BSD 3-Clause "New" or "Revised" License
      327801Updated Nov 12, 2024Nov 12, 2024
    • p-dmpc

      Public
      Prioritized Distributed Model Predictive Control for Networked Trajectory Planning
      MATLAB
      Other
      31910Updated Sep 17, 2024Sep 17, 2024
    • tsltools

      Public
      Library and tools for the TSL specification format
      Haskell
      Other
      9000Updated Sep 10, 2024Sep 10, 2024
    • Portable implementation of the RTPS/DDS protocol for embedded devices.
      C++
      Other
      3916065Updated Jul 30, 2024Jul 30, 2024
    • Random Forest implementation for the classification of ARDS in ICU time-series data
      Python
      GNU General Public License v3.0
      0100Updated Mar 27, 2024Mar 27, 2024
    • micro-ROS ESP32 IDF component and sample code
      C
      Apache License 2.0
      62000Updated Mar 23, 2024Mar 23, 2024
    • Python
      1110Updated Mar 14, 2024Mar 14, 2024
    • reference implementation of mROS 2 for ESP32 boards
      C
      Apache License 2.0
      9000Updated Jan 22, 2024Jan 22, 2024
    • uti_msgs

      Public
      CMake
      Other
      0000Updated Nov 24, 2023Nov 24, 2023
    • C
      0000Updated Nov 6, 2023Nov 6, 2023
    • Low level controller for F1-NextGen
      C
      0000Updated Nov 3, 2023Nov 3, 2023
    • lexy

      Public
      C++ parsing DSL
      C++
      Boost Software License 1.0
      69200Updated Oct 30, 2023Oct 30, 2023
    • Provides ROS2 packages with which vehicles can be tracked on a pressure sensitive surface layer. This is divided into wheel detection and tracking as well as vehicle detection.
      C++
      MIT License
      0000Updated Sep 22, 2023Sep 22, 2023
    • clam-pi

      Public
      Static Analyzer for LLVM bitcode based on Abstract Interpretation
      C
      Apache License 2.0
      37000Updated Aug 18, 2023Aug 18, 2023
    • crab-pi

      Public
      A library for building abstract interpretation-based analyses
      C++
      Apache License 2.0
      32000Updated Aug 18, 2023Aug 18, 2023
    • Examples of STLLVM generated by the LLVM IR compiler
      LLVM
      MIT License
      0000Updated May 24, 2023May 24, 2023
    • cpm_lab

      Public
      C++
      Other
      52310Updated Mar 16, 2023Mar 16, 2023
    • z3

      Public
      The Z3 Theorem Prover
      C++
      Other
      1.5k000Updated Mar 6, 2023Mar 6, 2023
    • HTML
      31310Updated Dec 20, 2022Dec 20, 2022
    • MATLAB
      MIT License
      73100Updated Nov 11, 2022Nov 11, 2022
    • MATLAB
      Other
      2900Updated Nov 11, 2022Nov 11, 2022
    • C
      162931Updated Nov 2, 2022Nov 2, 2022
    • Source code and benchmarks for the ETFA22 submission.
      Smalltalk
      GNU General Public License v3.0
      0000Updated Oct 27, 2022Oct 27, 2022
    • ArcadeBT

      Public
      C++
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jun 2, 2022Jun 2, 2022
    • Source code and benchmarks for the FMICS22 submission.
      C++
      0000Updated May 23, 2022May 23, 2022
    • A tool to convert datasets into scenarios for the CPM Lab.
      C++
      MIT License
      0000Updated Apr 29, 2022Apr 29, 2022
    • Library for handling CPM scenario files.
      C++
      MIT License
      0000Updated Apr 29, 2022Apr 29, 2022
    • MATLAB
      1100Updated Sep 6, 2021Sep 6, 2021
    • C++
      0100Updated Mar 25, 2021Mar 25, 2021