nanocodex-observability cargo 0.6.7 clean Tracing formatting and OpenTelemetry setup for Nanocodex applications 197 1d ago lingxia-terminal-config cargo 0.21.0 clean Terminal configuration: schema, storage and resolution shared by every platform 193 1d ago fs_extra_rs cargo 1.0.0 clean Expanding std::fs and std::io. Recursively copy folders with information about process and much more. 191 9h ago assura cargo 0.6.0 1 detection 1 Contract-first AI-native language. Write what it should do. AI proves it does. 190 2d ago assura-macros cargo 0.6.0 clean Proc macros for inline Assura contract annotations in Rust 190 2d ago martensite-design-lint cargo 0.21.0 clean Design-standard linting for Martensite UIs — WCAG, ISA-101, cognitive-load, and information-design rules evaluated over paint-tree scope geometry. 186 7h ago dacc-journal cargo 0.6.0 clean DACC: the work-layer journal - event format, transition rules, and the state fold 183 2h ago crush-cson cargo 0.3.9 clean CSON (Crush Semantic Object Notation) — a JSON-like config/serialization format with AI-native primitives: confidence weights, semantic keys, annotations, and… 182 19h ago crabka-verified cargo 0.4.1 clean Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates 179 1d ago rvsim-core cargo 2.0.0 clean A high-performance cycle-accurate RISC-V 64-bit system simulator. 172 17h ago piper-sdk cargo 0.0.3 clean Unified SDK for Piper robot arm control with real-time performance 171 4h ago gtm cargo not built 0.2.88 did not build Feature rich and cross platform terminal audio player 169 2d ago whipplescript-custodian cargo 0.9.0 1 vulnerability 1 The WhippleScript credential custodian (DR-0053): a second security principal that seals material and performs custody operations; whip holds handles 163 2d ago kcode-k1-chat-thread-main-actor-testkit cargo 0.5.8 clean Downstream selected-executable conformance evidence for the K1 chat-thread actor 158 2d ago threemd cargo 2.0.0 clean A faithful Rust implementation of the 3md format: Markdown extended along a single free Z axis. 156 1d ago astli-text cargo 0.3.0 clean Files, spans, and macro-expansion provenance for SystemVerilog tooling 153 1d ago ironwork-syntax cargo 0.9.0 clean ironwork for COBOL: fixed-format source reader, lexer and parser 153 3h ago wickra-zk-host cargo not built 0.2.0 did not build Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of… 151 2d ago repame-shell cargo not built 0.3.11 did not build Repose platform runner wrappers, sim stepping, viewport mount, and gamepad polling 147 1d ago astli-syntax cargo 0.3.0 clean Lossless syntax tree, lexer, and preprocessor for SystemVerilog 146 1d ago rc-x509-client cargo not built 0.2.1 did not build Rust client for the RC X509 platform 146 2d ago automation-structures cargo 0.3.1 clean Checked state machines for budgets, selection, traversal, and automation execution flow. 144 2d ago accent-proust cargo 0.12.2 clean A Rust implementation of the Markdoc language: parse, validate, transform, render, and format. 141 2d ago astli-preproc cargo 0.3.0 clean Directives, macro expansion, and `include resolution for SystemVerilog 137 1d ago dre-protocol cargo 0.4.0 clean The DRE plugin protocol: frames, messages, host side, plugin SDK and conformance suite 134 2d ago oii cargo 1.1.1 clean Config language for Xyle. Brackets for scope. Parser, formatter, roundtrip edits, funcs 131 2d ago astli-parse cargo 0.3.0 clean Event-based parser building a lossless SystemVerilog syntax tree 130 1d ago rusting_brain cargo 3.0.0 clean A Rust deep-learning library for training and running transformer language models, dense and mixture-of-experts, on CPU or CUDA. 122 1d ago astli-fmt cargo 0.3.0 clean SystemVerilog formatter that leaves the preprocessed meaning unchanged 118 1d ago fv-plan cargo not built 0.3.0 did not build The FusionVault transform executor on Apache DataFusion: inline row steps and relational reshapes (join, aggregate, window, union) over Arrow, with the value… 117 2d ago 