1,975,872 packages matching “lean-code”
@react-native-segmented-control/segmented-control
v2.5.7 · 1 year ago
React Native SegmentedControlIOS library
No known vulnerabilities
es-get-iterator
v1.1.3 · 3 years ago
Get an iterator for any JS language value. Works robustly across all environments, all versions.
No known vulnerabilities
@nanobpm/engine-wasm
v0.9.1 · 6 days ago
The nanobpmn engine (engine-core) compiled to WebAssembly for in-browser BPMN execution: deploy a diagram, start instances, activate/complete jobs, and read live snapshots/traces. Published as two subpath entrypoints — a lean baseline engine (default) and
No known vulnerabilities
mongoose-lean-id
v1.1.0 · 9 months ago
Attach `id` to the results of mongoose queries when using `.lean()`
No known vulnerabilities
@react-native-community/toolbar-android
v0.2.1 · 5 years ago
A React Native Component for Android Toolbar
No known vulnerabilities
@types/mongoose-lean-virtuals
v0.5.6 · 2 years ago
TypeScript definitions for mongoose-lean-virtuals
No known vulnerabilities
pi-lean-ctx
v3.10.2 · 4 days ago
Pi Coding Agent extension — routes bash/read/grep/find/ls through lean-ctx for strong token savings. The embedded MCP bridge (on by default) adds a persistent session cache so unchanged re-reads cost ~13 tokens.
No known vulnerabilities
prism-react-renderer
v2.4.1 · 1 year ago
Renders highlighted Prism output using React
No known vulnerabilities
@zk-kit/lean-imt.sol
v2.0.1 · 1 year ago
Incremental Merkle tree implementations in Solidity.
No known vulnerabilities
lean-react-native
v4.2.3 · 3 months ago
A React Native wrapper for Lean's LinkSDK
No known vulnerabilities
@react-native-community/clipboard
v1.5.1 · 5 years ago
React Native Clipboard API for macOS, iOS, Android, and Windows
No known vulnerabilities
lean-ctx-bin
v3.10.2 · 4 days ago
LeanCTX — a local Context SDK for AI agents. Select, shape, reuse, recover, and measure context before inference. No Rust required.
No known vulnerabilities
@leanprover/infoview
v0.13.0 · 5 months ago
An interactive display for the Lean 4 theorem prover.
No known vulnerabilities
@react-native-community/push-notification-ios
v1.12.0 · 9 months ago
React Native Push Notification API for iOS
No known vulnerabilities
customizr
v3.0.5 · 7 months ago
Build out a lean, mean Modernizr machine.
No known vulnerabilities
ticky
v1.0.1 · 10 years ago
Run a callback as soon as possible
No known vulnerabilities
lean-he
v2.1.2 · 7 years ago
A robust HTML entities encoder/decoder with full Unicode support.
No known vulnerabilities
process-okam
v0.11.10 · 3 years ago
process information for node.js and browsers
No known vulnerabilities
@react-native-community/progress-bar-android
v1.0.5 · 3 years ago
Progress Bar component for React Native
No known vulnerabilities
@voyant-travel/legal-contracts
v0.108.0 · 1 month ago
Pure legal validation schemas and enums (contracts + policies) for consumers (the Admin SDK, Voyant Connect) that validate legal payloads without the legal runtime (Drizzle schema, Hono routes, services).
No known vulnerabilities