Awesome Lean / Libraries
19FFI & Language Interop
7 entries
- AlloyWrite C shims inline in Lean code.tydeu/lean4-alloy
- lean-sysRust bindings to the Lean runtime (lean-rs is a safe wrapper).digama0/lean-sys
- RustFFI.leanTemplate for Lean-Rust FFI.argumentcomputer/RustFFI.lean
- NerodiaWrite Python modules in pure Lean, inspired by PyO3 (preview, Lean FRO).leanprover/nerodia
- lean.pyTwo-way Lean/Python interop with automatic marshalling.BasisResearch/lean.py
- Extism Lean SDKCall WebAssembly plugins from Lean.extism/lean4-sdk
- lean-bindgenGenerates
@[extern]declarations and C shims from a concise spec of a C header.kiranandcode/lean-bindgen