A Wasm-first VFS
☆66Mar 27, 2025Updated 11 months ago
Alternatives and similar repositories for wasm-vfs
Users that are interested in wasm-vfs are comparing it to the libraries listed below
Sorting:
- Dockerfile → Universal Wasm Distribution☆951Dec 8, 2025Updated 2 months ago
- ☆11Feb 6, 2026Updated 3 weeks ago
- A De/CompressionStream for Bun☆13Jul 9, 2025Updated 7 months ago
- Emscripten port of libffi☆12Jun 21, 2023Updated 2 years ago
- Observability World for WASI☆26Mar 5, 2025Updated last year
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆54Feb 11, 2024Updated 2 years ago
- oasis, but with kiss aswell☆12Feb 24, 2026Updated last week
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- A Programming Language built for WebAssembly☆12Sep 25, 2021Updated 4 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Contains code from Youtube Tutorials or Videos.☆14Nov 24, 2025Updated 3 months ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- Documenting sdm845 sensor service☆15Jun 21, 2022Updated 3 years ago
- A database of programming languages.☆14Feb 4, 2025Updated last year
- A universal Berkeley sockets implementation for both WebAssembly (based on WebRTC) and native platforms with bindings for C, Go and TinyG…☆33Feb 26, 2023Updated 3 years ago
- GPU-Accelerated Cuckoo Filter☆35Updated this week
- Repository for educational material related to the 2025 C-FORS Summer school in Oslo, Norway.☆18May 27, 2025Updated 9 months ago
- ☆20Feb 10, 2026Updated 3 weeks ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆38Feb 26, 2026Updated last week
- Toolkit for dealing with wasm (webassembly), including an strace like tool.☆18Sep 22, 2025Updated 5 months ago
- Tiny package manager for Linux.☆22Sep 14, 2025Updated 5 months ago
- ☆23Mar 24, 2023Updated 2 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- Virtual implementations of WASI APIs☆217Dec 1, 2025Updated 3 months ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆178Jan 20, 2026Updated last month
- VMM for native-performance sandboxing☆798Nov 20, 2025Updated 3 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- e☆22Jan 7, 2023Updated 3 years ago
- Embeddable v86 virtual machines☆66Jan 2, 2025Updated last year
- ☆29Nov 26, 2025Updated 3 months ago
- Efficient Container Image Updating with Delta Encoding☆20Jul 2, 2025Updated 8 months ago
- crossing the streams☆176Updated this week
- ☆25Updated this week
- A framework for building high-performance plugin systems into any application, powered by WebAssembly.☆632Oct 17, 2025Updated 4 months ago
- ☆27May 3, 2025Updated 10 months ago
- 🔧 Run a single command in a speedy virtual machine with zero-setup THE PROJECT MOVED TO https://gitlab.archlinux.org/archlinux/vmexec☆26May 1, 2025Updated 10 months ago