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
• cargogogo / fengming

  View on GitHub
  ☆14Oct 22, 2017Updated 8 years ago
• oscomp / 2021oscomp-best-kernel-design-impl

  View on GitHub
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Dec 15, 2021Updated 4 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.
• 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
• 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
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 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
• plateui / plateui-legacy

  View on GitHub
  Admin site powered by JSON APIs.
  ☆23Jul 20, 2023Updated 2 years ago
• jepsen-io / postgres

  View on GitHub
  Jepsen tests for PostgreSQL
  ☆14Jun 5, 2026Updated 2 weeks ago
• rcore-os / nvme_driver

  View on GitHub
  ☆31Jun 1, 2023Updated 3 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.
• dark-flames / yukino-dev

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

  View on GitHub
  Rust support for seL4 userspace
  ☆201May 15, 2026Updated last month
• 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
• janestreet / shell

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

  View on GitHub
  (Demo) A v-dom "diff" engine based on WebAssembly, aim to build efficient and fluent web apps.
  ☆20Nov 27, 2018Updated 7 years ago
• TennyZhuang / Chi-Corpus

  View on GitHub
  迟先生语料库
  ☆36Sep 19, 2021Updated 4 years ago
• Lancern / llvm-anderson

  View on GitHub
  Anderson points-to analysis implementation based on LLVM
  ☆12Jan 3, 2021Updated 5 years ago
• leiysky / tigraph

  View on GitHub
  ☆10Jan 18, 2021Updated 5 years ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• Rockdu / Collection-of-Personal-UESTC-Course-Notes

  View on GitHub
  ☆11Jun 20, 2023Updated 2 years ago
• tmr232 / idapython

  View on GitHub
  IDAPython project for Hex-Ray's IDA Pro
  ☆12Jul 2, 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 7 months ago
• ogreen / GpuTriangleCounting

  View on GitHub
  Triangle Counting for the GPU using CUDA.
  ☆14Nov 5, 2015Updated 10 years ago
• atakansarioglu / cortex-m-semaphore-mutex

  View on GitHub
  Implements Mutex, Semaphore and exclusive ReadModifyWrite operations on ARM Cortex-M3 and Cortex-M4
  ☆11Feb 28, 2019Updated 7 years ago
• ekmett / charset

  View on GitHub
  fast utf-8 character sets
  ☆14Mar 3, 2025Updated last year
• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• alangenfeld / cs639

  View on GitHub
  Distributed file system
  ☆13May 10, 2011Updated 15 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.
• oscomp / os-competition-info

  View on GitHub
  "全国大学生操作系统比赛2026"相关信息
  ☆286Jan 4, 2026Updated 5 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
• 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
• vincenthz / hs-securemem

  View on GitHub
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Feb 15, 2020Updated 6 years ago
• longfangsong / tipedia

  View on GitHub
  非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。
  ☆10Jan 21, 2022Updated 4 years ago