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 运行时环境

☆35May 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
• oscomp / 2021oscomp-best-kernel-design-impl

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

  View on GitHub
  HTTP Forward proxy for vpns.jlu.edu.cn
  ☆15Jul 29, 2020Updated 6 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• dyweb / treehole-space-protos

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

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

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

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 6 years ago
• ZJU-SEC / Readings

  View on GitHub
  ☆62May 18, 2026Updated 3 months 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
• janestreet / shell

  View on GitHub
  Yet another implementation of fork&exec and related functionality
  ☆11Jul 10, 2026Updated last month
• qiminchen / DECOLLAGE

  View on GitHub
  Pytorch Implementation of DECOLLAGE (ECCV 2024)
  ☆11Oct 21, 2024Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• 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
• IskXCr / CS202-CS214-Computer-Organization-Project

  View on GitHub
  SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.
  ☆10Dec 11, 2023Updated 2 years ago
• TennyZhuang / Chi-Corpus

  View on GitHub
  迟先生语料库
  ☆36Sep 19, 2021Updated 4 years ago
• BusyJay / mini-pd

  View on GitHub
  A minimal implementation of tikv/pd in Rust.
  ☆64Jul 28, 2021Updated 5 years ago
• Lancern / llvm-anderson

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

  View on GitHub
  Porting FreeRTOSv10.1.1 on AArch64 mode Raspberry Pi 3 B+
  ☆11Apr 14, 2019Updated 7 years ago
• rcore-os / nvme_driver

  View on GitHub
  ☆31Jun 1, 2023Updated 3 years ago
• leiysky / tigraph

  View on GitHub
  ☆10Jan 18, 2021Updated 5 years ago
• tmr232 / idapython

  View on GitHub
  IDAPython project for Hex-Ray's IDA Pro
  ☆12Jul 2, 2015Updated 11 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• ogreen / GpuTriangleCounting

  View on GitHub
  Triangle Counting for the GPU using CUDA.
  ☆14Nov 5, 2015Updated 10 years ago
• giometti / gnu_linux_rapid_embedded_programming

  View on GitHub
  Example code from the book "GNU/Linux Rapid Embedded Programming" by Rodolfo Giometti - Packt Publishing
  ☆16May 3, 2017Updated 9 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
• eggman / FreeRTOS-raspi3

  View on GitHub
  FreeRTOS port Raspberry Pi 3 ( 64bit / aarch64 )
  ☆20Sep 19, 2021Updated 4 years ago
• oscomp / os-competition-info

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

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

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

  View on GitHub
  非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。
  ☆10Jan 21, 2022Updated 4 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• Rockdu / Collection-of-Personal-UESTC-Course-Notes

  View on GitHub
  ☆11Jun 20, 2023Updated 3 years ago
• bakhi / GPUReplay

  View on GitHub
  GPUReplay, ASPLOS 2022
  ☆42Feb 21, 2022Updated 4 years ago
• whoiscc / shattuck

  View on GitHub
  Rust-based script programming language.
  ☆72Aug 3, 2019Updated 7 years ago
• YoruCathy / Chi-Bot

  View on GitHub
  Mr. Chi simulator!
  ☆26Jul 24, 2020Updated 6 years ago
• ZSTIH / 2022_HITSZ_DB-Lab4

  View on GitHub
  校园志愿者招募平台的设计与实现，2022年哈尔滨工业大学（深圳）《数据库系统》课程实验四 | design and implementation of a campus volunteer recruitment platform, lab4 of the course "…
  ☆13Aug 25, 2023Updated 2 years ago
• LearningOS / oscomp-kernel-training

  View on GitHub
  ☆48Nov 1, 2022Updated 3 years ago
• skyzh / raft-kvs

  View on GitHub
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆45May 1, 2020Updated 6 years ago