Extism bindings for Lean

Stream: general

[Zach Shipko]

I am excited to share my progress on an Extism Host SDK for Lean!

This allows WebAssembly plug-ins written in Rust/C/Zig/Haskell/C#/Javascript to be called from Lean. The implementation also includes host functions, which are implemented in Lean and can be called from inside a plug-in.

Repo: https://github.com/extism/lean4-sdk
Example: https://github.com/extism/lean4-sdk/blob/main/Test.lean