lean4-sdk

lean4-sdk

extism

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

plugins
View on GitHub
19 Stars
2 Forks
4 Watchers
Lean Language
68.6 SrcLog Score
Cost to Build
$22.4K
Market Value
$26.7K
How is this calculated?

Growth over time

9 data points  ·  2026-04-09 → 2026-11-11
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.

🏆 Show off this rank

extism/lean4-sdk on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

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 main.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