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
• 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
• Yesterday17 / jlu-http-proxy

  View on GitHub
  HTTP Forward proxy for vpns.jlu.edu.cn
  ☆15Jul 29, 2020Updated 5 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.
• 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
• 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
• haolipeng / dpdk-hands-on

  View on GitHub
  learn dpdk step by step
  ☆34Dec 27, 2025Updated 4 months ago
• ZJU-SEC / Readings

  View on GitHub
  ☆61Jun 20, 2022Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• 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 2 years ago
• isclouder / microv

  View on GitHub
  kvm hypervisor
  ☆16Dec 20, 2022Updated 3 years ago
• seL4 / rust-sel4

  View on GitHub
  Rust support for seL4 userspace
  ☆199Apr 28, 2026Updated last week
• 0140454 / matrix-multiplication

  View on GitHub
  Implement matrix multiplication using SIMD.
  ☆13Nov 19, 2016Updated 9 years ago
• yapengye / D-ARM

  View on GitHub
  ☆27Aug 28, 2024Updated last year
• gansidui / bktree

  View on GitHub
  bk-tree for golang
  ☆11Jul 30, 2022Updated 3 years ago
• janestreet / shell

  View on GitHub
  Yet another implementation of fork&exec and related functionality
  ☆11Apr 6, 2026Updated last month
• IskXCr / CS202-CS214-Computer-Organization-Project

  View on GitHub
  SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.
  ☆10Dec 11, 2023Updated 2 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• BusyJay / mini-pd

  View on GitHub
  A minimal implementation of tikv/pd in Rust.
  ☆65Jul 28, 2021Updated 4 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
• 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 6 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
• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• oscomp / os-competition-info

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

  View on GitHub
  Porting FreeRTOSv10.1.1 on AArch64 mode Raspberry Pi 3 B+
  ☆11Apr 14, 2019Updated 7 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
• longfangsong / tipedia

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