Skip to content
@tukcps

RPTU Kaiserslautern, Chair of Cyber-Physical Systems

RPTU Kaiserslautern, Chair of Cyber-Physical Systems

Popular repositories Loading

  1. AADD AADD Public

    This repository holds the Affine Arithmetic Decision Diagrams library

    C++ 5 2

  2. jAADD jAADD Public

    This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http:https://cps.cs.uni-kl.de/en/AADD

    Kotlin 2 2

  3. VP-Lecture VP-Lecture Public

    Material from Lecture "Virtual Prototyping"

    C++ 1 1

  4. VP VP Public

    Virtual Prototypes of Automotive Applications

    C++ 1 1

  5. k-moc k-moc Public

    A simple modeling/simulation tool in kotlin for demonstration purpose.

    Kotlin 1

  6. OSSRH-51653 OSSRH-51653 Public

Repositories

Showing 6 of 6 repositories
  • jAADD Public

    This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http:https://cps.cs.uni-kl.de/en/AADD

    tukcps/jAADD’s past year of commit activity
    Kotlin 2 2 1 0 Updated Jun 30, 2022
  • k-moc Public

    A simple modeling/simulation tool in kotlin for demonstration purpose.

    tukcps/k-moc’s past year of commit activity
    Kotlin 1 0 0 0 Updated Jun 17, 2021
  • OSSRH-51653 Public
    tukcps/OSSRH-51653’s past year of commit activity
    0 0 0 0 Updated Sep 20, 2019
  • AADD Public

    This repository holds the Affine Arithmetic Decision Diagrams library

    tukcps/AADD’s past year of commit activity
    C++ 5 2 3 0 Updated Jun 3, 2019
  • VP Public

    Virtual Prototypes of Automotive Applications

    tukcps/VP’s past year of commit activity
    C++ 1 1 0 0 Updated Jan 28, 2019
  • VP-Lecture Public

    Material from Lecture "Virtual Prototyping"

    tukcps/VP-Lecture’s past year of commit activity
    C++ 1 Apache-2.0 1 0 0 Updated Aug 14, 2018

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…