Alternatives and similar repositories for proj191-seL4-for-wasmedge

Users that are interested in proj191-seL4-for-wasmedge are comparing it to the libraries listed below

• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• rcore-os / rCore_tutorial_doc
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Updated 4 years ago
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆92Updated last year
• chyyuu / thoughts
  ☆42Updated last year
• wyfcyx / osnotes
  Some notes or translations about operating system or programming language.
  ☆99Updated 11 months ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 4 years ago
• HUST-OS / tornado-os
  异步内核就像风一样快！
  ☆288Updated 4 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆46Updated last month
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆102Updated 4 years ago
• jiegec / cold
  The cold linker
  ☆72Updated last year
• chyyuu / aos_course_info
  advanced os course info & some os papers
  ☆349Updated 2 months ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• Fugoes / yaay-rs
  Yet Another AsYnc runtime for RuSt.
  ☆33Updated 5 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆115Updated last year
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• yunwei37 / os-summer-of-code-daily
  OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）
  ☆86Updated 7 months ago
• rcore-os / nvme_driver
  ☆29Updated 2 years ago
• xiyurain / UltraOS
  A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup
  ☆46Updated last year
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• thu-cs-lab / Router-Lab-Docs
  Documentation for Router Lab
  ☆68Updated last week
• oscomp / proj1-rustsbi
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Updated 6 months ago
• rcore-os / zcore_tutorial_developers
  zcore_tutorial文档撰写工作以及单元测试工作组
  ☆19Updated 5 years ago
• rcore-os / rCore_tutorial
  Tutorial for rCore OS step by step (2nd edition)
  ☆142Updated 2 years ago
• skyzh / raytracer-tutorial
  raytracer project for PPCA 2020
  ☆63Updated 3 years ago
• decaf-lang / decaf-rs
  The Decaf compiler, written in Rust
  ☆57Updated 5 years ago