| smtc2web-dev cargo | | not built 0.1.0 did not build | Command-line web preview server for smtc2web themes | 8 | 1d ago |
| wasmtime-environ cargo | | not built 50.0.0-rc.1 did not build | Standalone environment support for WebAssembly code in Cranelift | 39M | 2d ago |
| wasmtime cargo | | not built 50.0.0-rc.1 did not build | High-level API to expose the Wasmtime runtime | 39M | 2d ago |
| wasmtime-wasi cargo | | not built 50.0.0-rc.1 did not build | WASI implementation in Rust | 12M | 2d ago |
| greentic-interfaces-wasmtime cargo | 1.2.0-dev.37708868984 | clean | Wasmtime host & guest shims for greentic WIT worlds (sync; auto-discovered) | 66K | 1h ago |
| wasi-webgpu-wasmtime cargo | 0.4.0 | clean | Wasmtime host implementation of the wasi:webgpu API | 12K | 1d ago |
| assura-smt cargo | 0.6.0 | 1 detection 1 | SMT-based verification for Assura contracts via Z3 | 1.9K | 1d ago |
| cc-lb-runtime-wasmtime cargo | 0.2.0 | clean | Wasmtime-based plugin runtime for cc-lb. Host-side wasm plugin admission + dispatch. | 1.4K | 20h ago |
| cc-lb-pdk-wasmtime-macros cargo | 0.2.0 | clean | Procedural macros (#[cc_lb_plugin], #[handler], #[derive(WireSchema)]) for cc-lb wasmtime plugins. | 573 | 20h ago |
| cc-lb-pdk-wasmtime cargo | 0.2.0 | clean | Plugin Development Kit runtime helpers for cc-lb wasmtime-based plugins (alloc/free, dlmalloc). | 522 | 20h ago |
| deterministic-wasi-ctx cargo | 4.0.8 | clean | A wasmtime-wasi WasiCtx implementation that is fully deterministic | 262K | 1d ago |
| check-if-email-exists cargo | 0.11.8 | clean | Check if an email address exists without sending any email | 244K | 6h ago |
| wasi-gfx-runtime-shared cargo | 0.4.0 | clean | Shared internals for the wasi-gfx wasmtime host crates | 12K | 1d ago |
| greentic-oauth-host cargo | 1.2.0-dev.37709395425 | clean | Host-side helpers and Wasmtime linker wiring for the greentic:oauth-broker@1.0.0 world. | 5.9K | 1h ago |
| greentic-ext-runtime cargo | 1.2.37708847463 | clean | Wasmtime-based runtime for Greentic Designer Extensions | 5.9K | 1h ago |
| submilli-wasm cargo | 0.1.10 | clean | A WebAssembly interpreter with a wasmtime-compatible API, built for fast compilation and startup | 3.9K | 20h ago |
| greentic-component-runtime cargo | 1.2.0-dev.37717249992 | clean | Wasmtime-based runtime for executing Greentic components | 3.5K | 3m ago |
| playwire cargo | 2.0.0 | clean | Cross-platform OS media controls and now-playing metadata: MPRIS, SMTC and Now Playing behind one API. | 2.8K | 2d ago |
| synth-verify cargo | 0.81.0 | clean | SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) | 2.7K | 7h ago |
| assura-ast cargo | 0.6.0 | clean | Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR | 2.3K | 1d ago |
| assura-diagnostics cargo | 0.6.0 | clean | Unified diagnostic types for the Assura compiler | 2.3K | 1d ago |
| assura-parser cargo | 0.6.0 | clean | Lexer, parser, and AST for the Assura contract language | 2.3K | 1d ago |
| boatramp-handlers cargo | 0.14.0 | clean | WebAssembly handler engine for boatramp (wasmtime component runtime) | 2.2K | 7h ago |
| assura-config cargo | 0.6.0 | clean | Project configuration and output mode types for the Assura compiler | 2.1K | 1d ago |
| assura-stdlib cargo | 0.6.0 | clean | Assura standard library contracts and prelude types | 2.1K | 1d ago |
| assura-resolve cargo | 0.6.0 | clean | Name resolution and symbol table for the Assura contract language | 2.1K | 1d ago |
| assura-types cargo | 0.6.0 | clean | Type checking for the Assura contract language | 2.0K | 1d ago |
| assura-codegen cargo | 0.6.0 | clean | Rust code generation from type-checked Assura contracts | 1.9K | 1d ago |
| rucc-verify cargo | 0.24.8 | clean | SMT verification of the rucc rewrite and lowering rule set. | 1.8K | 1d ago |
| assura-pipeline cargo | 0.6.0 | 1 detection 1 | Shared compiler pipeline for the Assura language | 1.8K | 1d ago |
