oscomp/proj191-seL4-for-wasmedge external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

oscomp/proj191-seL4-for-wasmedge

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/oscomp/proj191-seL4-for-wasmedge)

Close

oscomp / proj191-seL4-for-wasmedgeView on GitHubMore

• External links
• Readme badge

seL4 作为Hypervisor启动一个 WasmEdge 运行时环境

☆36May 9, 2025Updated last year

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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• oscomp / proj178-kvm-in-rust

  View on GitHub
  用Rust语言重写Linux kernel中的KVM
  ☆15Apr 17, 2022Updated 4 years ago
• iaGuoZhi / SJTU-SE-CAMP

  View on GitHub
  ☆11Feb 2, 2021Updated 5 years ago
• shanzi / NvmEngine

  View on GitHub
  Experimental KV store engine on non-volatile memory
  ☆73Nov 4, 2020Updated 5 years ago
• oscomp / 2021oscomp-best-kernel-design-impl

  View on GitHub
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆47Dec 15, 2021Updated 4 years ago
• Yesterday17 / jlu-http-proxy

  View on GitHub
  HTTP Forward proxy for vpns.jlu.edu.cn
  ☆15Jul 29, 2020Updated 5 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• eliphatfs / yapyjit

  View on GitHub
  Yet another python JIT.
  ☆20Mar 22, 2023Updated 3 years ago
• os2edu / os-labs-in-rust-course

  View on GitHub
  rust-writing-os course of https://rust.os2edu.cn
  ☆11Apr 29, 2022Updated 4 years ago
• dyweb / treehole-space-protos

  View on GitHub
  Protobuf and gRPC service definition of treehole.space
  ☆10Mar 27, 2022Updated 4 years ago
• Fugoes / yaay-rs

  View on GitHub
  Yet Another AsYnc runtime for RuSt.
  ☆33Feb 1, 2020Updated 6 years ago
• luojia65 / zihai

  View on GitHub
  自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software
  ☆25Apr 21, 2022Updated 4 years ago
• cow-on-board / engula-operator

  View on GitHub
  engula-operator creates/configures/manages engula clusters atop Kubernetes
  ☆12Jan 5, 2022Updated 4 years ago
• skyzh / BlueSense

  View on GitHub
  🌈 BlueSense is a long-term project for monitoring Shanghai environment data.
  ☆26Jul 20, 2022Updated 3 years ago
• ZJU-SEC / Readings

  View on GitHub
  ☆61May 18, 2026Updated last month
• jepsen-io / postgres

  View on GitHub
  Jepsen tests for PostgreSQL
  ☆15Jul 1, 2026Updated last week
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• ZachL1 / CS-Notes

  View on GitHub
  技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++
  ☆12Dec 10, 2020Updated 5 years ago
• rcore-os / nvme_driver

  View on GitHub
  ☆31Jun 1, 2023Updated 3 years ago
• isclouder / microv

  View on GitHub
  kvm hypervisor
  ☆16Dec 20, 2022Updated 3 years ago
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated last year
• brucechin / Rust-LSM-KV

  View on GitHub
  build a simple key value store based on LSM tree like rocksdb/leveldb
  ☆40Mar 16, 2020Updated 6 years ago
• Distrotech / ipvsadm

  View on GitHub
  Mirror of http://svn.linuxvirtualserver.org/repos/ipvsadm
  ☆13Dec 30, 2015Updated 10 years ago
• yapengye / D-ARM

  View on GitHub
  ☆27Aug 28, 2024Updated last year
• janestreet / shell

  View on GitHub
  Yet another implementation of fork&exec and related functionality
  ☆11May 18, 2026Updated last month
• BusyJay / mini-pd

  View on GitHub
  A minimal implementation of tikv/pd in Rust.
  ☆65Jul 28, 2021Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• TennyZhuang / Chi-Corpus

  View on GitHub
  迟先生语料库
  ☆36Sep 19, 2021Updated 4 years ago
• leiysky / tigraph

  View on GitHub
  ☆10Jan 18, 2021Updated 5 years ago
• seL4 / musllibc

  View on GitHub
  ☆30Mar 31, 2026Updated 3 months ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• mustakimur / COIN-Attacks

  View on GitHub
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Dec 12, 2022Updated 3 years ago
• rustprooflabs / pgconfig-ce

  View on GitHub
  postgresql.conf comparison tool
  ☆16Oct 28, 2025Updated 8 months ago
• ekmett / charset

  View on GitHub
  fast utf-8 character sets
  ☆14Mar 3, 2025Updated last year
• bakhi / GPUReplay

  View on GitHub
  GPUReplay, ASPLOS 2022
  ☆42Feb 21, 2022Updated 4 years ago
• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• oscomp / os-competition-info

  View on GitHub
  "全国大学生操作系统比赛2026"相关信息
  ☆288Jan 4, 2026Updated 6 months ago
• SJTU-IPADS / xstore

  View on GitHub
  Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache
  ☆118Jan 21, 2021Updated 5 years ago
• SJTU-HPC / spackenv

  View on GitHub
  SJTU HPC 开源项目：Spackenv (Spack ENVironment) switch environments between sysadmin, users and developers.
  ☆22Jan 4, 2022Updated 4 years ago
• iaGuoZhi / system-study-resources

  View on GitHub
  Study materials collected while studying
  ☆51Apr 16, 2022Updated 4 years ago
• AD1024 / dtlc

  View on GitHub
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Sep 3, 2020Updated 5 years ago
• peterboncz / LegoBase

  View on GitHub
  ☆10Nov 20, 2014Updated 11 years ago
• Steve3184 / mcrvemu

  View on GitHub
  A high-performance RISC-V emulator implemented entirely within Minecraft using vanilla commands (Datapacks)
  ☆27Mar 1, 2026Updated 4 months ago