Explore groups

Below you will find all the groups that are public or internal. Contribute by requesting to join a group. Learn more.

S

simbricks-startup

0 2 4
S

spamtest

group for testing spam

0 1 1
S

SAV

1 11 7
D

ds-ss23

0 4 8
R

restart-rollback

0 3 1
G

Groundhog

0 8 1
SimBricks

https://simbricks.github.io/ — https://github.com/simbricks

0 6 5
P

pacer

0 11 2
S

sosp2021

0 1 1
D

ds

1 0 1
Backpack

Repositories related to the Haskell Backpack research project and Scott Kilpatrick's PhD thesis.

0 2 1
N

Networked Systems

https://wiki.mpi-sws.org/wiki/NS

5 0 16
osnet

Operating Systems group. See our Wiki.

8 25 17
cld

Cloud Software Systems Research Group (CLD) at the Max Planck Institute for Software Systems (MPI-SWS). https://people.mpi-sws.org/~jcmace/

10 5 8
I

Iris

The group for Iris and projects related to it. The core repository here is Iris itself.

0 37 11
D

ds-ws18

0 1 5
R

rLTL

Group for research around robust Linear Temporal Logic

0 3 1
E

encounters

Encounter-based Communication

0 0 5
O

operating-systems

UdS operating systems course

1 3 3
F

FCS

Deepak Gargs repositories

0 30 5