PinnedLoading

1. extism/extismextism/extismPublic

   The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

   Rust 4.8k 134

2. dylibso/wasmstoredylibso/wasmstorePublic

   A content-addressable datastore for WebAssembly modules

   OCaml 54 1

3. ocaml-rsocaml-rsPublic

   OCaml extensions in Rust

   Rust 268 32

4. futhark-bindgenfuthark-bindgenPublic

   A Futhark binding generator for Rust and OCaml

   Rust 29 6

5. extism/lean4-sdkextism/lean4-sdkPublic

   Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications

   Lean 18 2

6. extism/verified-count-vowelsextism/verified-count-vowelsPublic

   Coq 8