second-state / wasmedge-seL4View external linksLinks
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
Sorting:
- Microkit - A simple operating system framework for the seL4 microkernel☆172Updated this week
- 基于 WebAssembly 容器镜像的高性能腾讯云函数开发模版。A template project for building high-performance, portable, and safe serverless functions in Tencent Ser…☆33Aug 9, 2021Updated 4 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆43Updated this week
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- Flow function examples for flows.network☆25May 8, 2023Updated 2 years ago
- A collection of "agentic" MCP servers☆12May 17, 2025Updated 8 months ago
- A Discord ChatGPT Bot☆10Aug 29, 2023Updated 2 years ago
- ☆27Mar 6, 2024Updated last year
- Let WebAssembly's exported function support more data types for its parameters and return values.☆30Oct 17, 2023Updated 2 years ago
- Nix tooling for the seL4 microkernel & ecosystem☆14Dec 12, 2025Updated 2 months ago
- PoC created to measure the performance provided by WASM☆28Updated this week
- wasm-interface-types supplement & compiler of wasmedge☆17Aug 25, 2023Updated 2 years ago
- ☆13Apr 22, 2025Updated 9 months ago
- A general ChatGPT bot for your slack channel☆16Jul 7, 2023Updated 2 years ago
- Yet another coding assistant powered by LLM.☆16Sep 11, 2024Updated last year
- SSVM runtime for EVM and Ewasm contract on Oasis platform☆12Sep 10, 2021Updated 4 years ago
- rust(1) cli prototype☆15Jan 2, 2022Updated 4 years ago
- ☆13Aug 26, 2023Updated 2 years ago
- ☆16Jul 29, 2025Updated 6 months ago
- Make ETLs Great Again!☆43May 20, 2023Updated 2 years ago
- A template project for building high-performance, portable, and safe serverless functions in Netlify.☆18Aug 2, 2021Updated 4 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆220Updated this week
- SQLite-based on-disk cache for Rust.☆24Jul 29, 2024Updated last year
- Use ChatGPT to review changed source code files GitHub Pull Requests☆25Aug 5, 2024Updated last year
- Pine A64 mass storage using FEL and u-boot☆20Oct 29, 2018Updated 7 years ago
- A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced …☆52Jan 17, 2026Updated 3 weeks ago
- Lightweight asynchronous HTTP proxy client library☆32Feb 19, 2022Updated 3 years ago
- A library to help you sew up your Ethereum project with Rust and just like develop in a common backend☆52Sep 11, 2023Updated 2 years ago
- Serverless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP☆55Jan 20, 2023Updated 3 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- dlmalloc ported into Rust☆115Nov 17, 2025Updated 2 months ago
- Hardware for OreSat's SDR GPS receive and other SDR GPS projects☆29May 25, 2024Updated last year
- Mainflux IoT Agent☆31Dec 18, 2023Updated 2 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Embed WasmEdge functions in a Rust host app☆33Feb 8, 2026Updated last week
- ☆30Oct 20, 2022Updated 3 years ago
- Baseband Receiver IP for GPS like DSSS signals☆40May 19, 2020Updated 5 years ago
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago