Barrelfish (@BarrelfishOS)
Guthub

BarrelfishOS

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    177
  • Global Org. Rank 43,171 (Top 14 %)
  • Registered over 10 years ago
  • Most used languages
    C
         66.7 %
    Objective-C
         16.7 %
    Isabelle     16.7 %

Top repositories

1

barrelfish

Mirror of the official Barrelfish OS repository.
C
157
star
2

Isabelle-hardware-models

Hardware decoding net model in Isabelle/HOL
Isabelle
12
star
3

hagfish

UEFI Bootloader for Barrelfish
C
4
star
4

dragonet

Objective-C
2
star
5

uefi-sdk

Patched UEFI-SDK for Hagfish
C
1
star
6

barrelfish-spacejmp

Barrelfish with SpaceJMP extension.
C
1
star