popovicu / linux-userspace-luaLinks
Proof of concept minimal Linux distribution written in Lua and built with Bazel. Bazel enables one command to download Lua, compile Lua bytecode, integrate the bytecode into C, statically link all that in a single artifact and deploy on a VM.
☆17Updated last month
Alternatives and similar repositories for linux-userspace-lua
Users that are interested in linux-userspace-lua are comparing it to the libraries listed below
Sorting:
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆120Updated this week
- Minimalistic hypervisor built on KVM, coded with Zig.☆147Updated last year
- A Wasm-first VFS☆65Updated 10 months ago
- Cross-platform binary launcher with Cosmopolitan libc☆34Updated 9 months ago
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆54Updated last year
- A URL parser for C☆28Updated last month
- Unikraft Applications & Examples Catalog☆79Updated last month
- A lightweight WAMR backend for Extism☆20Updated last year
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated last year
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18Updated 3 weeks ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆34Updated last year
- The Xr0 Verifier for C☆208Updated 9 months ago
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Updated 4 months ago
- A fully automated, custom CPU and software stack for tiny embedded systems☆90Updated 3 months ago
- Coroutine scheduler for C☆47Updated last year
- BUSE: Block device in user space☆15Updated 3 years ago
- HPC research and demonstrations☆113Updated last month
- MnemOS Global Networking Protocol☆15Updated 2 years ago
- Building an intuition for different IO models (sync, io_uring, etc.) across different languages.☆29Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆211Updated last week
- High-precision date/time in C☆61Updated 3 months ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆41Updated last year
- BoringSSL for WebAssembly/WASI☆73Updated 10 months ago
- Rush: Snabb written in Rust☆55Updated 4 years ago
- Small KVM-based hypervisor, boots Linux (WIP)☆13Updated last year
- Probabilistic transaction graph for optimistic concurrency control.☆49Updated last year
- AA-tree implementation in C☆33Updated 5 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- 😎 A curated list of WebAssembly runtimes☆61Updated last year