| zisk-setup | 1.3.2-alpha | clean | Version of the ZisK proving key (setup) a build proves against | 68 | 14h ago |
| mdroots-roots | 0.2.4 | clean | Safe, zero-config root discovery for mdroots: never lists a tree before it is known to be local and bounded. | 48 | 14h ago |
| zisk-definitions | 1.3.2-alpha | clean | Shared low-level definitions (syscalls, hints, labels) for the ZisK zkVM | 7.2K | 14h ago |
| krafka | 0.27.0 | clean | A pure Rust, async-native Apache Kafka client | 21K | 14h ago |
| cadkit | 0.3.0 | clean | Read DWG, DGN, DXF and CityGML into one format-neutral model; write DXF, DGN V8 and CityGML. Pure Rust, no vendor SDK. | 45 | 14h ago |
| chtypes | 2.0.0-dev.5 | clean | ClickHouse's own type system, schema validation, DEFAULT/TTL semantics and coercion, per ClickHouse version, over the frozen chs_* C ABI | 276 | 14h ago |
| synth-opt | 0.84.0 | clean | Peephole optimization passes for the Synth compiler | 4.9K | 14h ago |
| devimint | | not built 0.13.0-beta.1 did not build | devimint is a library useful for setting up a local environment to run the fedimint stack | 19K | 14h ago |
| veks-completion-derive | 2.5.0 | clean | Derive macro for the veks-completion CLI framework (the in-tree clap replacement) | 901 | 14h ago |
| synth-synthesis | 0.84.0 | clean | WASM-to-ARM instruction selection and peephole optimizer | 4.5K | 14h ago |
| axiolid-construct | 0.3.17 | clean | Solid generation: profiles, lofts, sweeps, revolutions and half-space clipping | 1.6K | 14h ago |
| brokk-mj-client | 2.41.0 | clean | Client-facing contracts and shared presentation helpers for Mjolnir | 1.0K | 14h ago |
| mdroots-resolve | 0.2.4 | clean | Link resolution ladder, dialect detection and convention vote for mdroots. | 57 | 14h ago |
| bpx-api-client | 0.23.0 | clean | Backpack Exchange API client | 83K | 14h ago |
| axiolid-overlay | 0.3.11 | clean | Deterministic validated planar overlay contract | 1.7K | 14h ago |
| mdroots-index | 0.2.4 | clean | Persistent per-root index cache for mdroots: cache dir choice, reconciler locks and a SQLite (https://sqlite.org) DB. | 43 | 14h ago |
| synth-cfg | 0.84.0 | clean | Control flow graph representation for the Synth compiler | 5.1K | 14h ago |
| brokk-mj-core | 2.41.0 | clean | Session control plane for ACP coding agents | 2.5K | 14h ago |
| axiolid-model | 0.3.7 | clean | Format-neutral geometry item tree. The currency between a format reader and a kernel. | 1.8K | 14h ago |
| axiolid-measure | 0.3.10 | clean | Metric properties: area, volume, centroid, moments of inertia. | 1.9K | 14h ago |
| bpx-api-types | 0.23.0 | clean | Backpack Exchange API types | 73K | 14h ago |
| brokk-mj-review | 2.41.0 | clean | Turn-review engine and prompt construction for Mjolnir | 743 | 14h ago |
| brokk-mj-transcript | 2.41.0 | clean | Transcript projection and presentation for Mjolnir | 965 | 14h ago |
| bitwright | 0.15.0 | clean | Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification. | 332 | 14h ago |
| wowsunpack | 0.46.0 | 2 vulnerabilities 2 | Utility for interacting with World of Warships game assets | 19K | 14h ago |
| brokk-mj-checkpoint | 2.41.0 | clean | Checkpoint archives and native session relocation for Mjolnir | 749 | 14h ago |
| wows-core | 0.14.0 | clean | Lightweight domain core (shared types and small derived data) for the WoWS toolkit | 1.4K | 14h ago |
| wows_replays | 0.47.0 | clean | A parser for World of Warships replay files | 16K | 14h ago |
| mdroots-core | 0.2.4 | clean | Core traits, MemStore and reconcile logic for mdroots. | 53 | 14h ago |
| synth-core | 0.84.0 | clean | Core types, error handling, and backend trait for the Synth compiler | 6.1K | 14h ago |