GitHub repository: BarrelfishOS/barrelfish
Primary language: C
Description: Mirror of the official Barrelfish OS repository.