Skip to content
@ths-rwth

Theory of Hybrid Systems group @ RWTH Aachen University

Popular repositories Loading

  1. smtrat smtrat Public

    C++ 52 13

  2. carl carl Public

    C++ 29 15

  3. carl-parser carl-parser Public

    C++ 3

  4. carl-windows carl-windows Public

    C++

  5. ths-rwth.github.io ths-rwth.github.io Public

    Repository for documentation of our projects

    HTML

  6. delta delta Public

    C++

Repositories

Showing 7 of 7 repositories
  • benchmax-py Public
    ths-rwth/benchmax-py’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Mar 24, 2025
  • smtrat Public
    ths-rwth/smtrat’s past year of commit activity
    C++ 52 13 32 2 Updated Mar 13, 2025
  • ths-rwth.github.io Public

    Repository for documentation of our projects

    ths-rwth/ths-rwth.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 20, 2025
  • carl Public
    ths-rwth/carl’s past year of commit activity
    C++ 29 15 5 (1 issue needs help) 2 Updated Feb 20, 2025
  • delta Public
    ths-rwth/delta’s past year of commit activity
    C++ 0 0 0 0 Updated Nov 30, 2022
  • carl-parser Public
    ths-rwth/carl-parser’s past year of commit activity
    C++ 3 0 1 0 Updated Jan 3, 2022
  • carl-windows Public
    ths-rwth/carl-windows’s past year of commit activity
    C++ 0 0 0 0 Updated Nov 6, 2018

Top languages

Loading…

Most used topics

Loading…