GitHub repos by BarrelfishOS

1 public repo by BarrelfishOS in the catalog, most starred first.