lean4-sdk

extism

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

plugins

View on GitHub

19 Stars

2 Forks

19 Watchers

Lean Language

100 SrcLog Score

Cost to Build

$21.0K

Market Value

$26.5K

How is this calculated?

Growth over time

1 data points · 2026-04-09 → 2026-04-09

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about lean4-sdk

Question copied to clipboard

What is the extism/lean4-sdk GitHub project? Description: "Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone lean4-sdk

Clone via HTTPS

git clone https://github.com/extism/lean4-sdk.git

Clone via SSH

[email protected]:extism/lean4-sdk.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the lean4-sdk issue tracker:

Open GitHub Issues

Similar to lean4-sdk

webpack store.js cuberite Griddle widget steal XCActionBar xmake BetterDiscordApp micro-server play-authenticate numi front-end-plugins pf4j unified W.I.L.L awesome-vim-colorschemes kadence eclipse-plugins vst3sdk jmeter-plugins bludit dotfiles.zsh AndroidStudioPluginsNPlay pi-timolo irods popsicle awesome-xamarin-forms FarManager openpbs