Repositories list

• barrelfish

  Public
  Mirror of the official Barrelfish OS repository.

  C

  •

  MIT License

  •59•166•0•5•Updated Dec 9, 2022Dec 9, 2022

• barrelfish-spacejmp

  Public
  Barrelfish with SpaceJMP extension.

  C

  •

  MIT License

  •3•1•0•0•Updated Jan 23, 2022Jan 23, 2022

• hagfish

  Public
  UEFI Bootloader for Barrelfish

  C

  •

  MIT License

  •3•4•0•0•Updated Jan 19, 2022Jan 19, 2022

• lockable-resources-plugin

  Public
  Lock resources against concurrent use

  Java

  •

  MIT License

  •184•0•0•0•Updated Aug 21, 2019Aug 21, 2019

• dragonet

  Public
  Objective-C

  •0•2•0•0•Updated Jul 2, 2019Jul 2, 2019

• Isabelle-hardware-models

  Public
  Hardware decoding net model in Isabelle/HOL

  Isabelle

  •

  BSD 2-Clause "Simplified" License

  •0•12•0•0•Updated Feb 6, 2018Feb 6, 2018

• uefi-sdk

  Public archive
  Patched UEFI-SDK for Hagfish

  C

  •1•1•0•0•Updated Jul 24, 2017Jul 24, 2017