3,077 packages matching “Lean”
@ajaysoni7832/lean-ids-components
v1.7.7 · 2 days ago
React components for Lean IDS design system
No known vulnerabilities
japa
v4.0.0 · 4 years ago
Lean test runner for Node.js
No known vulnerabilities
@types/mongoose-lean-id
v1.0.0 · 2 years ago
TypeScript definitions for mongoose-lean-id
No known vulnerabilities
lean-client-js-core
v3.3.1 · 4 years ago
Interface to the Lean server
No known vulnerabilities
@oribuild/tsserver-lean
v0.0.0-pre-beta.25 · 3 years ago
lean subset of tsserver that only supports typechecking
No known vulnerabilities
lean-client-js-node
v3.3.1 · 4 years ago
Interface to the Lean server
No known vulnerabilities
treetrunks
v0.1.8 · 1 month ago
Lean utilities to build type-safe trees and validate routes through them.
No known vulnerabilities
sanitize-markdown
v2.6.7 · 5 years ago
Lean and configurable allowlist-oriented HTML sanitizer
No known vulnerabilities
create-lean-agent-kit
v1.5.0 · 4 days ago
Lean core memory kit for AI coding agents — map-first context, convention checks, optional packs for specs/stacks/guardrails.
No known vulnerabilities
lean-oracle-sdk
v0.4.0 · 9 days ago
TypeScript SDK for the Lean Oracle on CKB testnet.
No known vulnerabilities
pi-lean-ctx
v3.9.17 · 14 hours 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
pi-lean-dimension
v0.4.0 · 2 days ago
Pi extension. The full Pi web-tools suite in one install — interactive browsing (pi-lean-portal) plus SearXNG search (pi-lean-search), unified under a /web toggle that removes the tools from context when switched off.
No known vulnerabilities
grunt-modernizr
v5.0.3 · 6 months ago
Build out a lean, mean Modernizr machine.
No known vulnerabilities
@most/types
v1.1.0 · 5 years ago
Reactive programming with lean, functions-only, curried, tree-shakeable API
No known vulnerabilities
vue-page-transition
v0.2.2 · 7 years ago
A lean Vue.js plugin for page / route transitions.
No known vulnerabilities
lean4.js
v0.0.2 · 2 months ago
Run Lean 4 in the browser via WebAssembly
No known vulnerabilities
merge-json-cli
v1.0.4 · 1 year ago
A lean cli tool to merge multiple json files into one.
No known vulnerabilities
@vtex/insane
v2.8.0 · 5 years ago
Lean and configurable whitelist-oriented HTML sanitizer
No known vulnerabilities
textdiff-create
v1.1.11 · 2 years ago
Create lean text diff deltas.
No known vulnerabilities
@shugaev/spur
v0.47.2 · 2 hours ago
Spur: lean v2 orchestrator with a local daemon, tmux sessions, and project workspaces
No known vulnerabilities