Alternatives and similar repositories for hopter

Users that are interested in hopter are comparing it to the libraries listed below

• uclasystem / DRust
  ☆49Updated 10 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆130Updated 3 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 2 weeks ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆80Updated last month
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• omniglot-rs / omniglot
  Safe Interactions with Foreign Languages through Omniglot
  ☆27Updated last month
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆48Updated 3 weeks ago
• open-neutrino / neutrino
  ☆146Updated 3 weeks ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 3 months ago
• rcore-os / bcm2837
  Low level access to BCM2837 SoC on Raspberry Pi 3 Model B/B+
  ☆14Updated 4 years ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆121Updated 2 months ago
• XpuOS / xsched
  A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs
  ☆94Updated last week
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 4 months ago
• Multi-V-VM / hetGPU
  PTX on XPUs
  ☆54Updated last week
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Updated last month
• Jiacheng / honeycomb-osdi23-ae
  ☆16Updated 2 years ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆57Updated last year
• SJTU-IPADS / PipeLLM
  ☆20Updated 8 months ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 5 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆35Updated 11 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 11 months ago
• phoenix-dataplane / phoenix
  Phoenix dataplane system service
  ☆55Updated last year
• Synthesys-Lab / assassyn
  Asynchronous semantics for architectural simulation and synthesis.
  ☆47Updated 2 weeks ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• hky1999 / Unishyper
  A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.
  ☆11Updated last year
• ProjectMitosisOS / dmerge-eurosys24-ae
  Artifact evaluation repo for EuroSys'24.
  ☆27Updated last year