L4YAML

5. FFI Bindings🔗

L4YAML provides foreign function interface bindings for C, Python, and Rust, enabling the verified parser to be used from mainstream languages. The FFI layer sits above the full parser pipeline — callers get the same verified parsing logic, security limits, and schema resolution available in Lean.

  1. 5.1. Dependency Graph
  2. 5.2. C API
  3. 5.3. Python API
  4. 5.4. Rust API
  5. 5.5. Adding FFI Bindings