| wasm-shrink cargo | 0.262.0 | none | none | A WebAssembly test case shrinker | 451K | 7d ago |
| wasm-tools cargo | 1.262.0 | none | high | CLI tools for interoperating with WebAssembly files | 587K | 7d ago |
| wasm-mutate cargo | 0.262.0 | none | none | A WebAssembly test case mutator | 2M | 7d ago |
| wasm-wave cargo | 0.262.0 | none | none | WebAssembly Value Encoding | 2M | 7d ago |
| wasm-smith cargo | 0.262.0 | none | none | A WebAssembly test case generator | 4M | 7d ago |
| wasm-compose cargo | 0.262.0 | none | none | A library for composing WebAssembly components. | 8M | 7d ago |
| wasm-metadata cargo | 0.262.0 | none | none | Read and manipulate WebAssembly metadata | 122M | 7d ago |
| wasmprinter cargo | 0.262.0 | none | none | Rust converter from the WebAssembly binary format to the text format. | 34M | 7d ago |
| wast cargo | 262.0.0 | none | none | Customizable Rust parsers for the WebAssembly Text formats WAT and WAST | 63M | 7d ago |
| wasm-encoder cargo | 0.262.0 | none | none | A low-level WebAssembly encoder. | 199M | 7d ago |
| wat cargo | 1.262.0 | none | none | Rust parser for the WebAssembly Text format, WAT | 43M | 7d ago |
| wasmparser cargo | 0.262.0 | none | none | A simple event-driven library for parsing WebAssembly binary files. | 258M | 7d ago |
| lean-semantic-search-runtime cargo | 0.7.7 | none | none | Package-owned Lean runtime payload and per-toolchain build cache for semantic search. | 583 | 7d ago |
| lean-semantic-search-store cargo | 0.7.7 | none | none | Persistent SQLite-backed semantic index implementing the retrieval Corpus seam. | 585 | 7d ago |
| lix cargo | | – 0.20.1 did not build | – | Embeddable version control for apps and AI agents. | 514 | 7d ago |
| slate-parser cargo | 0.3.0 | none | none | C preprocessor, parser, semantic analysis, and typed IR for Slate | 22 | 7d ago |
| lean-semantic-search-capability cargo | 0.7.7 | none | none | Worker-facing command identity for Lean semantic search. | 708 | 7d ago |
| js-component-bindgen cargo | 2.16.0 | none | none | JS component bindgen for transpiling WebAssembly components into JavaScript | 80K | 7d ago |
| tabnas-semver cargo | 0.0.11 | none | none | Semantic Versioning 2.0.0 (semver.org) parsing for the tabnas engine, compiled from an ABNF grammar | 105 | 7d ago |
| lean-semantic-search-retrieval cargo | 0.7.7 | none | none | Storage-neutral semantic candidate generation over Lean feature rows. | 867 | 7d ago |
| lean-rs cargo | | – 0.9.4 did not build | – | Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic… | 1.5K | 7d ago |
| akar-binder cargo | 0.2.5 | none | none | Query binder and semantic analysis for the Akar embedded graph database | 854 | 7d ago |
| lean-semantic-search-contract cargo | 0.7.7 | none | none | Stable JSON DTOs and version markers for Lean semantic search. | 1.1K | 7d ago |
| qcdiff-core cargo | 0.1.0 | none | none | Semantic diff for OpenQASM 3 quantum circuits: parse, normalize, and diff operation streams (library behind the qcdiff CLI) | 10 | 7d ago |
| eth-wasm-verifier cargo | 0.1.0 | none | none | A deterministic, fuel-metered WebAssembly runtime for proof verifiers | 8 | 7d ago |
| kobako-transport cargo | 0.18.0 | none | none | The kobako core envelope — the fixed host↔guest wire frame every assembly shares. | 317 | 7d ago |
| ocserve-llm cargo | 0.3.1 | none | none | Provider clients: openai-compatible first; stream assembly + fuzz corpus | 16 | 7d ago |
| submilli-wasm cargo | 0.1.12 | none | none | A WebAssembly interpreter with a wasmtime-compatible API, built for fast compilation and startup | 4.0K | 7d ago |
| margaret_generated_module cargo | 0.5.0 | none | none | Generated-module assembly for the Margaret application framework. | 434 | 7d ago |
| nym-ordered-buffer cargo | 1.22.2 | none | none | This crate takes care of reliably and speedily turning bytes into a series of ordered message fragments on one side, and of reliably reassembling the fragments… | 9.0K | 7d ago |
