wasmedge-seL4
Wasm runtime
Integrates WasmEdge with seL4 RTOS to enable execution of WebAssembly programs on an embedded system
Integrate WasmEdge with seL4
44 stars
10 watching
9 forks
Language: Shell
last commit: over 2 years ago
Linked from 1 awesome list
dckc/awesome-ocapRelated projects:
| Repository | Description | Stars |
|---|---|---|
| second-state/wasmedge-quickjs | A high-performance JavaScript runtime for WebAssembly that enables running JavaScript in a secure and extensible way. | 496 |
 zigwasm/wasmer-zig | Provides bindings for embedding a WebAssembly runtime into Zig programs. | 53 |
 wasmi-labs/wasmi | An efficient and lightweight WebAssembly interpreter with a focus on constrained and embedded systems. | 1,614 |
 vmware-labs/webassembly-language-runtimes | Pre-built WebAssembly binaries for popular language runtimes and static libraries | 336 |
 ruby/ruby.wasm | A collection of WebAssembly ports of the CRuby interpreter | 686 |
| zigwasm/wasmtime-zig | Embeds the Wasmtime runtime into a Zig program | 83 |
 cosmwasm/wasmd | An implementation of a Cosmos zone with support for WebAssembly smart contracts. | 369 |
 femtoemacs/wascm | Compiles Low Level Lisp into WebAssembly for low-level operations | 33 |
 area9innovation/wase | Makes WebAssembly easy to write and compile by providing a friendly language with conventional syntax and type inference | 45 |
| zigwasm/wasm-zig | C API bindings for WebAssembly runtime | 27 |
 tessi/wasmex | Enables Elixir to run WebAssembly code safely and efficiently | 555 |
 webassembly/wasm-c-api | An API that allows embedding a WebAssembly interpreter in C/C++ applications | 551 |
 containerd/runwasi | Facilitates running WebAssembly workloads managed by containerd | 1,093 |
 deislabs/containerd-wasm-shims | Provides shims for running WebAssembly workloads on Kubernetes | 314 |
 cretz/asmble | Compiles WebAssembly to JVM bytecode and provides utilities for working with WASM code. | 634 |