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.
Sorting:
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- BadAppleOS in Rust.☆10Sep 19, 2020Updated 6 years ago
- ☆11Feb 2, 2021Updated 5 years ago
- ☆14Oct 22, 2017Updated 9 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Dec 31, 2017Updated 8 years ago
- rust-writing-os course of https://rust.os2edu.cn☆11Apr 29, 2022Updated 4 years ago
- HTTP Forward proxy for vpns.jlu.edu.cn☆15Jul 29, 2020Updated 6 years ago
- Protobuf and gRPC service definition of treehole.space☆10Mar 27, 2022Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Apr 21, 2022Updated 4 years ago
- Admin site powered by JSON APIs.☆23Jul 20, 2023Updated 3 years ago
- 🌈 BlueSense is a long-term project for monitoring Shanghai environment data.☆26Jul 20, 2022Updated 4 years ago
- build a simple key value store based on LSM tree like rocksdb/leveldb☆40Mar 16, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++☆12Dec 10, 2020Updated 5 years ago
- SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.☆10Dec 11, 2023Updated 2 years ago
- ☆28Aug 28, 2024Updated 2 years ago
- A minimal implementation of tikv/pd in Rust.☆64Jul 28, 2021Updated 5 years ago
- ☆10Dec 18, 2025Updated 10 months ago
- bk-tree for golang☆11Jul 30, 2022Updated 4 years ago
- Jepsen tests for PostgreSQL☆16Jul 31, 2026Updated 3 months ago
- Implements Mutex, Semaphore and exclusive ReadModifyWrite operations on ARM Cortex-M3 and Cortex-M4☆11Feb 28, 2019Updated 7 years ago
- ethos-u-driver-stack is the user space driver library for ethos-u NPU on iMX93 platform.☆10Sep 18, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆31Jun 1, 2023Updated 3 years ago
- ☆10Jul 18, 2019Updated 7 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- Rust support for seL4 userspace☆222Updated this week
- 🚀 GitHub Action that sends a Dingtalk notification.☆11Apr 11, 2020Updated 6 years ago
- ☆12Oct 5, 2026Updated last month
- Obtain the number of threads in the current process☆18Oct 18, 2026Updated 2 weeks ago
- Rust-based script programming language.☆72Aug 3, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- Data structures and JSON serializer/deserializer for Jupyter notebooks (.ipynb) format.☆13Jan 27, 2022Updated 4 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- SJTU HPC 开源项目：Spackenv (Spack ENVironment) switch environments between sysadmin, users and developers.☆21Jan 4, 2022Updated 4 years ago
- ☆13Jun 29, 2021Updated 5 years ago
- Mr. Chi simulator!☆27Jul 24, 2020Updated 6 years ago
- [CPAL 2026 oral] Offical implementation of "ROSE: Reordered SparseGPT for More Accurate One-Shot Large Language Models Pruning”☆18Jul 31, 2026Updated 3 months ago