Skip to content
Change the repository type filter

All

    Repositories list

    • Mirror of the official Barrelfish OS repository.
      C
      MIT License
      5916805Updated Dec 9, 2022Dec 9, 2022
    • Barrelfish with SpaceJMP extension.
      C
      MIT License
      3100Updated Jan 23, 2022Jan 23, 2022
    • hagfish

      Public
      UEFI Bootloader for Barrelfish
      C
      MIT License
      3400Updated Jan 19, 2022Jan 19, 2022
    • Lock resources against concurrent use
      Java
      MIT License
      185000Updated Aug 21, 2019Aug 21, 2019
    • dragonet

      Public
      Objective-C
      0200Updated Jul 2, 2019Jul 2, 2019
    • Hardware decoding net model in Isabelle/HOL
      Isabelle
      BSD 2-Clause "Simplified" License
      01200Updated Feb 6, 2018Feb 6, 2018
    • uefi-sdk

      Public archive
      Patched UEFI-SDK for Hagfish
      C
      1100Updated Jul 24, 2017Jul 24, 2017