Integrate WasmEdge with seL4
☆43Jun 14, 2022Updated 3 years ago
Alternatives and similar repositories for wasmedge-seL4
Users that are interested in wasmedge-seL4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Discord ChatGPT Bot☆10Aug 29, 2023Updated 2 years ago
- SSVM Node.js Addon☆13Aug 27, 2021Updated 4 years ago
- PoC created to measure the performance provided by WASM☆28Apr 3, 2026Updated 2 weeks ago
- The first blockchain to support both the EVM and Ewasm virtual machines for current and next-gen Ethereum. Based on the CyberMiles blockc…☆16Dec 23, 2021Updated 4 years ago
- wasm-interface-types supplement & compiler of wasmedge☆17Aug 25, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Feb 20, 2026Updated last month
- A collection of "agentic" MCP servers☆13May 17, 2025Updated 11 months ago
- 基于 WebAssembly 容器镜像的高性能腾讯云函数开发模版。A template project for building high-performance, portable, and safe serverless functions in Tencent Ser…☆32Aug 9, 2021Updated 4 years ago
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated 2 weeks ago
- ☆27Mar 6, 2024Updated 2 years ago
- ☆13Apr 22, 2025Updated 11 months ago
- Let WebAssembly's exported function support more data types for its parameters and return values.☆30Oct 17, 2023Updated 2 years ago
- ☆18Jul 20, 2021Updated 4 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆181Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SSVM runtime for EVM and Ewasm contract on Oasis platform☆13Sep 10, 2021Updated 4 years ago
- ☆13Mar 29, 2024Updated 2 years ago
- Use ChatGPT to review changed source code files GitHub Pull Requests☆24Aug 5, 2024Updated last year
- The easiest & fastest way to run customized and fine-tuned LLMs locally or on the edge☆27Mar 19, 2025Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆50Apr 10, 2026Updated last week
- ☆13Aug 26, 2023Updated 2 years ago
- A substrate runtime module library (SRML) for Etherem flavored WebAssembly (ewasm)☆19Mar 6, 2020Updated 6 years ago
- The official documentation of Gaia. Learn how to run nodes, deploy nodes to domains, find framework integrations and learn how to build a…☆33Nov 6, 2025Updated 5 months ago
- Serverless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP☆55Jan 20, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- QuickJS for WASI☆31Jan 29, 2024Updated 2 years ago
- ☆19Mar 15, 2023Updated 3 years ago
- This is GitHub Codespace Workshop☆21Jan 12, 2023Updated 3 years ago
- Embed WasmEdge functions in a Rust host app☆35Mar 17, 2026Updated last month
- Simple Rust applications that run in WasmEdge☆33Oct 19, 2023Updated 2 years ago
- ☆75Jul 15, 2024Updated last year
- ☆30Oct 20, 2022Updated 3 years ago
- Nix tooling for the seL4 microkernel & ecosystem☆16Dec 12, 2025Updated 4 months ago
- Component Architecture test suite and example apps.☆34Mar 31, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆31May 23, 2022Updated 3 years ago
- ☆49May 27, 2020Updated 5 years ago
- Capability-based 3rd-generation Microkernel/Microhypervisor with High-speed IPC Mechanism.☆52Apr 2, 2026Updated 2 weeks ago
- ☆38Nov 16, 2021Updated 4 years ago
- A template project for serverless functions for Tensorflow inference on Tencent Cloud.☆40May 4, 2021Updated 4 years ago
- An open key management service to support privacy-first and scalable file sharing.☆48Jun 15, 2020Updated 5 years ago
- A Wasm VM written in MoonBit☆42Feb 4, 2026Updated 2 months ago