Results for lean-rs-host

Canvas for Node.js with skia backend

@napi-rs/nicev1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/canvas-linux-x64-muslv1.0.0

Canvas for Node.js with skia backend

@napi-rs/nice-linux-x64-muslv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/nice-linux-x64-gnuv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/cliv3.7.0

Solid choice. Well-adopted and active, actively maintained.

Cli tools for napi-rs

MaintenanceHealthy

PopularityWidely used

SecurityClean

DepsModerate

@napi-rs/canvasv1.0.0

Canvas for Node.js with skia backend

mongoose-lean-virtualsv2.1.0

Aging — last published 7 months ago — check before adopting.

Attach virtuals to the results of mongoose queries when using `.lean()`

tokenjuicev0.8.0

Lean output compaction for terminal-heavy agent workflows.

@napi-rs/canvas-darwin-arm64v1.0.0

Canvas for Node.js with skia backend

@napi-rs/canvas-linux-arm64-gnuv1.0.0

Canvas for Node.js with skia backend

@napi-rs/canvas-win32-x64-msvcv1.0.0

Canvas for Node.js with skia backend

@napi-rs/canvas-darwin-x64v1.0.0

Canvas for Node.js with skia backend

@napi-rs/canvas-linux-arm64-muslv1.0.0

Canvas for Node.js with skia backend

@napi-rs/canvas-android-arm64v1.0.0

Canvas for Node.js with skia backend

@napi-rs/nice-linux-arm64-gnuv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/nice-darwin-x64v1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/canvas-linux-arm-gnueabihfv1.0.0

Canvas for Node.js with skia backend

@napi-rs/nice-linux-arm64-muslv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@node-rs/crc32v1.10.6

SIMD crc32

Abandoned. Last published over a year ago.

@napi-rs/canvas-linux-riscv64-gnuv1.0.0

Canvas for Node.js with skia backend

@napi-rs/nice-win32-x64-msvcv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/nice-linux-arm-gnueabihfv1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

@napi-rs/nice-darwin-arm64v1.1.1

Aging — last published 10 months ago — check before adopting.

https://linux.die.net/man/2/nice binding for Node.js

crates.io matches

4 matches · Rust

lean-rs-hostv0.1.20

Maintained. Niche but maintained, actively maintained.

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.

lean-rs-workerv0.1.7

Maintained. Niche but maintained, actively maintained.

Worker-process boundary for lean-rs host workloads.

lean-rsv0.1.20

Maintained. Niche but maintained, actively maintained.

Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.

lean-rs-worker-childv0.1.20