Integrate WasmEdge with seL4
☆43Jun 14, 2022Updated 4 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:
- ☆15Aug 29, 2021Updated 4 years ago
- A Discord ChatGPT Bot☆10Aug 29, 2023Updated 2 years ago
- PoC created to measure the performance provided by WASM☆28Apr 24, 2026Updated 3 months ago
- SSVM Node.js Addon☆13Aug 27, 2021Updated 4 years 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A general ChatGPT bot for your slack channel☆16Jul 7, 2023Updated 3 years ago
- wasm-interface-types supplement & compiler of wasmedge☆18Aug 25, 2023Updated 2 years ago
- A log processing framework in Rust. Ingest from database and log files, transform, and output to Kafka / ElasticSearch. Runs side-by-side…☆14Aug 25, 2023Updated 2 years ago
- ☆12Dec 23, 2024Updated last year
- A collection of "agentic" MCP servers☆13May 17, 2025Updated last year
- ☆27Mar 6, 2024Updated 2 years ago
- ☆13Apr 22, 2025Updated last year
- Let WebAssembly's exported function support more data types for its parameters and return values.☆30Oct 17, 2023Updated 2 years ago
- VAD (Voice Activity Detection) as a service, written in Rust☆17Dec 6, 2025Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆18Jul 20, 2021Updated 5 years ago
- ☆13Mar 29, 2024Updated 2 years ago
- ☆13Aug 26, 2023Updated 2 years ago
- Use ChatGPT to review changed source code files GitHub Pull Requests☆24Aug 5, 2024Updated 2 years ago
- Streaming TTS API server written in Rust☆20Aug 22, 2025Updated 11 months ago
- This is GitHub Codespace Workshop☆22Jan 12, 2023Updated 3 years ago
- Serverless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP☆54Jan 20, 2023Updated 3 years ago
- ☆21Jul 26, 2026Updated 3 weeks ago
- ☆19Mar 15, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple Rust applications that run in WasmEdge☆34Apr 14, 2026Updated 4 months ago
- ☆76Jul 15, 2024Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆197Updated this week
- ☆23Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆67Updated this week
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 3 weeks ago
- High-level bindings for wasi-nn system calls☆54Oct 31, 2024Updated last year
- ☆31May 23, 2022Updated 4 years ago
- ☆38Nov 16, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Supercharge your Gaianet node by generating a vector knowledge base from any API. Demo slides: https://hackmd.io/@santteegt/ByoykY4nC#/ L…☆11Nov 29, 2024Updated last year
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Apr 13, 2021Updated 5 years ago
- ☆10Oct 16, 2020Updated 5 years ago
- A template project for serverless functions for Tensorflow inference on Tencent Cloud.☆40May 4, 2021Updated 5 years ago
- rust(1) cli prototype☆15Jan 2, 2022Updated 4 years ago
- Nix tooling for the seL4 microkernel & ecosystem☆19Aug 7, 2026Updated last week
- A template project to run Rust functions in Deno through the Second State WebAssembly engine.☆53Aug 8, 2020Updated 6 years ago