Skip to content

@ths-rwth Theory of Hybrid Systems group @ RWTH Aachen University

All

    Repositories list

    8 repositories

    • Inventory_Management

      Public
      0•0•0•0•Updated Sep 16, 2026Sep 16, 2026

    • smtrat

      Public
      C++
      •
      Other
      •14•63•33•2•Updated Aug 24, 2026Aug 24, 2026

    • carl

      Public
      C++
      •
      Other
      •16•31•7•4•Updated Aug 19, 2026Aug 19, 2026

    • ths-rwth.github.io

      Public
      Repository for documentation of our projects
      HTML
      •0•0•0•0•Updated Aug 18, 2026Aug 18, 2026

    • benchmax-py

      Public
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 15, 2025Dec 15, 2025

    • delta

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 30, 2022Nov 30, 2022

    • carl-parser

      Public
      C++
      •0•3•1•0•Updated Jan 3, 2022Jan 3, 2022

    • carl-windows

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 6, 2018Nov 6, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.