Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • 14 4

    Deepak Gargs repositories

  • 1 3

    ds ws16

  • 1 1

    Sipderpig

  • 3 4

    Cyber-physical systems projects from the RSE group

  • 2 10

    Real-time scheduling theory, formalized in Coq

  • 7 1

    Eva's "Automated Verification and Approximation" (AVA) group

  • 5 5
  • 12 8

    Derek's Foundations of Programming group

  • 6 5

    The LITMUSRT project.

  • 7 4

    Project: VM scheduling with the XFair scheduler