| synth-backend-awsm cargo | 0.87.0 | none | none | aWsm backend integration for the Synth compiler | 2.6K | 3d ago |
| synth-backend cargo | 0.87.0 | none | none | ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration | 3.2K | 3d ago |
| synth-backend-aarch64 cargo | 0.87.0 | none | none | AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538) | 1.7K | 3d ago |
| synth-verify cargo | 0.87.0 | none | none | SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) | 2.7K | 3d ago |
| threecrate-visualization cargo | 0.10.0 | none | none | Visualization and rendering for threecrate point clouds and meshes | 2.3K | 3d ago |
| cpex cargo | 0.3.1 | none | none | CPEX host facade — re-exports the runtime and (optionally) the feature-gated builtin extensions. | 6.3K | 3d ago |
| synth-synthesis cargo | 0.87.0 | none | none | WASM-to-ARM instruction selection and peephole optimizer | 4.6K | 3d ago |
| synth-core cargo | 0.87.0 | none | none | Core types, error handling, and backend trait for the Synth compiler | 6.2K | 3d ago |
| probatum cargo | 0.1.0 | none | none | Write the contract, get the proof: compile behavioral intent into programs with machine-checkable proof certificates | 10 | 3d ago |
| sapphire-framework-backend cargo | 0.21.0 | none | none | Async GUI-facing backend trait (local + remote) over a sapphire-framework workspace | 240 | 3d ago |
| sapphire-framework-workspace cargo | 0.21.0 | none | none | Workspace management library for indexing and search of file-based documents | 379 | 3d ago |
| threecrate-gpu cargo | 0.10.0 | none | none | GPU-accelerated algorithms for threecrate using wgpu | 2.6K | 3d ago |
| rusty_esp_signal-esp cargo | 0.3.1 | none | none | Chip backends for rusty_esp_signal: the WRAP crate. `esp-hal` (Track B, no_std + Embassy) or `esp-idf` (Track A, std on ESP-IDF). The only crate in the… | 47 | 3d ago |
| threecrate-io cargo | 0.10.0 | none | none | I/O operations for point clouds and meshes in threecrate | 4.2K | 3d ago |
| threecrate-algorithms cargo | 0.10.0 | none | none | Algorithms for 3D point cloud and mesh processing | 4.8K | 3d ago |
| xqasm cargo | 0.4.4 | none | none | Assembler for the XQuad Toolchain | 454 | 3d ago |
| vigy-rest cargo | 0.1.9 | none | none | Axum REST surface for vigy — handlers derived from spec/vigy.openapi.yaml via utoipa. Includes Swagger UI. | 238 | 3d ago |
| polyc-payments cargo | | – 2026.10.5 did not build | – | Machine Payments Protocol (MPP/Tempo) integration for polychrome: the control-plane composition/glue layer over the standalone outbound, inbound,… | 528 | 3d ago |
| webp-rs cargo | 26.10.0 | high | none | Encode and decode WebP images via statically-linked libwebp. | 443 | 3d ago |
| secantus-pg cargo | 0.1.0-beta.17 | none | low | A surrogate PostgreSQL server for tests: the real PostgreSQL wire protocol and grammar (libpg_query) over WiredTiger, single-node. Embed it… | 84 | 3d ago |
| secantus-pgwire cargo | 0.1.0-beta.17 | none | none | SecantusDB's fork of pgwire 0.40.7 (the PostgreSQL wire protocol as a library), carrying the changes the secantus-pg server needs. Internal; depend on upstream… | 112 | 3d ago |
| lineark cargo | 4.0.1 | none | high | CLI for Linear issue tracker — for humans and LLMs | 666 | 3d ago |
| axess-strings cargo | 0.8.1 | none | none | Immutable short-string primitive for identifiers that are cloned, hashedand compared at high volume: event subject ids, taxonomy tags, key ids.A 24-byte value… | 479 | 3d ago |
| cgg-walk cargo | 0.11.0 | none | none | Directory walker with built-in deny-list, .gitignore and .cggignore support for cgg. | 470 | 3d ago |
| opi-agent cargo | 0.8.3 | none | none | General-purpose agent runtime with tool calling and session management | 461 | 3d ago |
| cgg-lang cargo | 0.11.0 | none | none | Language plugin trait, language detection and parser pool for the cgg call-graph generator. | 573 | 3d ago |
| opi-tui cargo | 0.8.3 | none | none | Terminal User Interface library with differential rendering | 812 | 3d ago |
| opi-ai cargo | 0.8.3 | none | none | Unified multi-provider LLM API with streaming support | 590 | 3d ago |
| ulo-net cargo | 0.1.0-alpha.1 | none | none | Endpoints, socket activation, TLS loading and bound addresses for Ulo transports | 35 | 3d ago |
| decompose cargo | 0.6.0 | none | low | A simple and flexible scheduler and orchestrator to manage non-containerized applications | 1.9K | 3d ago |
