DocMatrix — Show Me The Receipts Table of Contents Technology Choices Dogfooded Across The Account File Map Questions? The README makes claims. This file backs them up. This project must declare MPL-2.0-or-later for platform/tooling compatibility. — README Technology Choices Technology Learn More Rust https://www.rust-lang.org Zig https://ziglang.org Idris2 ABI https://www.idris-lang.org Dogfooded Across The Account Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across proven, burble, and gossamer. File Map Path What’s There src/ Source code ffi/ Foreign function interface Questions? Open an issue or reach out directly — happy to explain anything in more detail.