No description provided.
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
A dependency solver for the elm ecosystem
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
👷 workerd, Cloudflare's JavaScript/Wasm Runtime
👷 workerd for Linux 64-bit, Cloudflare's JavaScript/Wasm Runtime
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
> Rewrite a WASM binary
WebAssembly binary format parser
Node binding for rspack
No description provided.
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
General satisfiability solver for logic problems
A WebAssembly implementation of xxHash
No description provided.
PGlite is a WASM Postgres build packaged into a TypeScript client library that enables you to run Postgres in the browser, Node.js and Bun, with no need to install any other dependencies. It is only 3.7mb gzipped.
Unified WASM bindings for Aptos confidential assets (discrete log + range proofs)
Generates and consumes source maps
The Wasm package for prisma-fmt
Parse EditorConfig-INI file contents into AST
Lightning fast hash functions for browsers and Node.js using hand-tuned WebAssembly binaries (MD4, MD5, SHA-1, SHA-2, SHA-3, Keccak, BLAKE2, BLAKE3, PBKDF2, Argon2, bcrypt, scrypt, Adler-32, CRC32, CRC32C, RIPEMD-160, HMAC, xxHash, SM3, Whirlpool)
The WASM package for prisma-fmt
A reliable compressor and decompressor for Brotli, supporting node & browsers via wasm
Solves for copper pour polygons