main branch details

Last updated: 1 day ago

idris2-zig-ffi

NOASSERTION

Verified Idris 2 libraries callable from any language via Zig FFI/ABI bridge. Proof-carrying code for Python, Rust, JavaScript, Go, and more.

100