57,012 packages matching “smt-optimization”
@openpassport/zk-kit-smt
v0.0.1 · 1 year ago
Sparse Merkle tree implementation in TypeScript.
No known vulnerabilities
@formatjs/intl-localematcher
v0.9.0 · 15 days ago
Intl.LocaleMatcher ponyfill
No known vulnerabilities
smtlib
v1.0.0 · 5 years ago
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
No known vulnerabilities
@tscircuit/copper-pour-solver
v0.0.61 · 2 days ago
Solves PCB copper pour regions from Circuit JSON or from a small geometry input format, returning `pcb_copper_pour`-ready B-Rep shapes.
No known vulnerabilities
@mchp-mcc/scf-pic8-smt-v1
v4.1.0 · 2 years ago
- Download & Install [nodejs](https://nodejs.org/en/download/) - Download & Install npm - Setup node & npm in enviroment path
No known vulnerabilities
@cooljapan/oxiz
v0.3.3 · 1 month ago
WebAssembly bindings for OxiZ SMT Solver
No known vulnerabilities
@mixmark-io/domino
v2.2.0 · 2 years ago
Server-side DOM implementation based on Mozilla's dom.js
No known vulnerabilities
@docusaurus/cssnano-preset
v3.10.2 · 2 months ago
Advanced cssnano preset for maximum optimization.
No known vulnerabilities
domino
v2.1.8 · 1 month ago
Server-side DOM implementation based on Mozilla's dom.js
No known vulnerabilities
@zk-kit/smt
v1.0.2 · 1 year ago
Sparse Merkle tree implementation in TypeScript.
No known vulnerabilities
@smt-ui/component
v1.2.22 · 2 years ago
extension base
No known vulnerabilities
msgpackr-extract
v3.0.4 · 4 months ago
Node addon for string extraction for msgpackr
No known vulnerabilities
clean-css
v5.3.3 · 2 years ago
A well-tested CSS minifier
No known vulnerabilities
mutative
v1.3.0 · 1 year ago
A JavaScript library for efficient immutable updates
No known vulnerabilities
physical-cpu-count
v2.0.0 · 9 years ago
Provides the number of physical cores
No known vulnerabilities
@blazediff/core
v1.10.0 · 1 month ago
Blazing-fast pixel-by-pixel image comparison with block-based optimization. 1.5x times faster than pixelmatch
No known vulnerabilities
@did-btcr2/smt
v0.4.1 · 3 days ago
Sparse Merkle Tree for did:btcr2: full-depth zero-hash model with base64url inclusion/non-inclusion proofs and did:btcr2-specific leaf hash construction.
No known vulnerabilities
smt
v1.1.56 · 5 years ago
su-js tools watch
No known vulnerabilities
@elvis-krop/smart-order-router
v0.1.37 · 4 years ago
Smart Order Router for liquidity pools
No known vulnerabilities
@lfdecentralizedtrust/zeto-contracts
v0.5.1 · 3 months ago
Zero knowledge proof based UTXO tokens toolkit for fungible or non-fungible assets
No known vulnerabilities