flavio / hermit-wasmLinks
A Unikernel running WebAssembly code
☆51Updated 2 years ago
Alternatives and similar repositories for hermit-wasm
Users that are interested in hermit-wasm are comparing it to the libraries listed below
Sorting:
- Foundation DB Query Language☆147Updated 3 weeks ago
- The Directed Acyclic Graph Elevation Markup Language☆81Updated 7 months ago
- DriftDB - An experimental append-only database with built-in time travel. Query any point in history, guaranteed data integrity, and immu…☆132Updated 2 weeks ago
- Zig library for HyperLogLog estimation☆91Updated last year
- A Wasm-first VFS☆64Updated 8 months ago
- 🐝 Wasp : Wasm programming language☆115Updated 4 months ago
- Query expressions for semi-structured data☆58Updated 9 months ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- 😎 A curated list of WebAssembly runtimes☆60Updated last year
- Devtools to validate, audit and investigate WebAssembly binaries.☆131Updated last year
- a very (x 10) basic wasm console☆21Updated last year
- repl / scripting language / namespaced command line aliases☆71Updated 2 months ago
- Create microVMs from OCI images☆35Updated 2 months ago
- A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.☆45Updated last week
- Kiwi powers extensible, real-time data streaming to your end users☆54Updated 11 months ago
- Bertie TLS 1.3 Implementation☆127Updated last month
- A lightweight WAMR backend for Extism☆18Updated last year
- A safe, stateful rules language for event streams☆114Updated 2 years ago
- ☆75Updated 2 months ago
- ☆29Updated this week
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 9 months ago
- ☆34Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- ☆99Updated last week
- Use Extism plugins from SQLite3☆25Updated 2 years ago
- Google's Zanzibar paper annotated for folks outside of Google☆83Updated last week
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Scale to zero Seafowl hosting with Cloud Run☆37Updated 2 years ago
- Rust SDK for S2☆41Updated 3 weeks ago