Pinned

1. arm-fastmodels-boot Public

   A simple, helloworld boot application for the Arm FastModels simulator.

   C

2. vmops-bench Public

   Virtual Memory Operations Benchmark

   C 1

3. barrelfish Public

   Forked from BarrelfishOS/barrelfish

   Unofficial Mirror of the Barrelfish OS

   C

4. crustal Public

   Library for Assembling C/C++ Code from Rust

   Rust 4

5. verified-bitmasks Public

   A verified bitmask implementation in Dafny.

   Dafny

6. rust-armv8 Public

   Rust library to use armv8 (aarch64/aarch32) specific functionality and registers.

   Rust