Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
Cli tools for napi-rs
Attach virtuals to the results of mongoose queries when using `.lean()`
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
https://linux.die.net/man/2/nice binding for Node.js
Canvas for Node.js with skia backend
Canvas for Node.js with skia backend
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
Node.js tar binding https://docs.rs/tar/latest/tar/
https://linux.die.net/man/2/nice binding for Node.js
https://linux.die.net/man/2/nice binding for Node.js
Canvas for Node.js with skia backend
Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.
Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.
Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.
Parent-side supervisor for the lean-rs worker process boundary.