eqiora-differentiation cargo 0.1.3 none none Eqiora L3: implicit forward and adjoint analysis over linearized relations 187 9d ago eqiora-package cargo 0.1.3 none none Exact, offline model-package identity and resolution contracts for Eqiora 189 9d ago eqiora-numerics cargo 0.1.3 none none Eqiora L3: numerical realizations and verified solver kernels 189 9d ago eqiora-runtime cargo 0.1.3 none none Eqiora L3: Rust CPU execution and backend conformance 217 9d ago eqiora-artifact cargo 0.1.3 none none Eqiora L3: versioned model artifacts and reproducible run manifests 216 9d ago eqiora-spatial-distribution cargo 0.1.3 none none Eqiora L2: exact mesh ownership and owner-routed spatial assembly 247 9d ago scooter-core cargo 0.5.0 none none Core find-and-replace functionality 5.5K 9d ago eqiora-compiler cargo 0.1.3 none none Eqiora L2: typed source-to-Graph-Transaction lowering 230 9d ago sdd-orchestrator cargo 1.0.0 none none Orchestration engine, client surfaces and skills sync for the SDD layer 303 9d ago rustoku-lib cargo 0.16.0 none none Lightning-fast Sudoku solving and generation 6.9K 9d ago eqiora-realization cargo 0.1.3 none none Eqiora L2: typed realization policy and selection contracts 395 9d ago eqiora-graph cargo 0.1.3 none none Eqiora L1: Graph Federation store, typed transactions, semantic diff 316 9d ago eqiora-assembly cargo 0.1.3 none none Eqiora L2: local contribution, constraint-aware assembly, and sparse algebra contracts 327 9d ago eqiora-execution cargo 0.1.3 none none Eqiora L2: deployment binding and bounded execution DAG contracts 352 9d ago sdd-html cargo 1.0.0 none none HTML companion generation (compiler, markdown, diagrams) for SDD artifacts 352 9d ago sdd-artifact-store cargo 1.0.0 none none Local artifact store (journal, snapshots, transactions, freshness) for the SDD layer 353 9d ago wist-release cargo 0.6.0 none none wist 发布域纯逻辑：安装包身份解析（version/arch）+ 发布计划灰度（切阶段与推进闸门）。不含存储、端点、鉴权。 190 9d ago sdd-providers cargo 1.0.0 none none Provider catalog, model routing and optimization for the SDD layer 396 9d ago sdd-core cargo 1.0.0 none none Core contract, discovery, validation and utilities for the SDD (Spec-Driven Development) layer 444 9d ago skani cargo 0.4.0 none 14 skani is a fast tool for calculating ANI between metagenomic sequences, such as metagenome-assembled genomes (MAGs). It is extremely fast and is robust against… 9.0K 9d ago lds-journal cargo 0.23.0 none none Journal module for local-develop-server (lds) — journal-mcp-rmcp SDK consumer forwarding 20 journal tools through a lds ServerHandler composition point 622 9d ago par-term-input cargo 0.2.0 none none Input sequence generation for par-term terminal emulator 562 9d ago par-term-tmux cargo 0.3.0 none none tmux control mode integration for par-term terminal emulator 548 9d ago oas3-gen cargo 0.29.0 none none A rust type generator for OpenAPI v3.1.x specification. 31K 9d ago oas3-gen-support cargo 0.29.0 none none A rust type generator for OpenAPI v3.1.x specification. 120K 9d ago verus_builtin cargo 0.0.0-2026-10-11-0230 none none Verus Builtins: Rust definitions for core constructs in Verus 420K 9d ago links-notation-macro cargo 0.1.2 none none Procedural macro for Links Notation compile-time parsing 16K 9d ago bevy_serde_lens cargo 0.10.0 none none Blazingly fast, schema based human-readable serialization crate for the bevy engine. 15K 9d ago bebytes cargo 3.0.3 none none A Rust library for serialization and deserialization of network structs. 60K 9d ago wenmar-vin cargo 0.2.0 none none VIN decoding for auto repair shops: validation, check digit, model year, and pattern matching over NHTSA vPIC data. 12 9d ago 