Skip to content
@udsdepend

Dependable Systems and Software Group

Saarland University, Saarland Informatics Campus

Popular repositories Loading

  1. loladrives-android loladrives-android Public

    https://loladrives.app

    Kotlin 3 1

  2. latex-docker latex-docker Public

    Dockerfile

  3. latex-docker-python latex-docker-python Public

    Dockerfile

  4. pcdf-core pcdf-core Public

    Kotlin

  5. pcdf-analyser pcdf-analyser Public

    Kotlin

  6. fm21-momba-tutorial fm21-momba-tutorial Public

    Material for the Momba tutorial at FM21.

    Python

Repositories

Showing 8 of 8 repositories
  • latex-docker Public
    udsdepend/latex-docker’s past year of commit activity
    Dockerfile 0 0 0 0 Updated May 28, 2024
  • loladrives-android Public

    https://loladrives.app

    udsdepend/loladrives-android’s past year of commit activity
    Kotlin 3 MIT 1 0 0 Updated Mar 13, 2024
  • pcdf-converter Public

    Small Tool for converting persistent to intermediate PCDF files

    udsdepend/pcdf-converter’s past year of commit activity
    Kotlin 0 MIT 0 0 0 Updated Jun 14, 2022
  • pcdf-core Public
    udsdepend/pcdf-core’s past year of commit activity
    Kotlin 0 MIT 0 0 0 Updated May 31, 2022
  • cav22-mogym-artifact Public
    udsdepend/cav22-mogym-artifact’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated May 6, 2022
  • pcdf-analyser Public
    udsdepend/pcdf-analyser’s past year of commit activity
    Kotlin 0 MIT 0 0 0 Updated Apr 5, 2022
  • fm21-momba-tutorial Public

    Material for the Momba tutorial at FM21.

    udsdepend/fm21-momba-tutorial’s past year of commit activity
    Python 0 0 0 0 Updated Nov 20, 2021
  • latex-docker-python Public
    udsdepend/latex-docker-python’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Aug 14, 2020

Top languages

Loading…

Most used topics

Loading…