crabka-verified cargo 0.4.1 none none Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates 179 8d ago dre-protocol cargo 0.5.1 none none The DRE plugin protocol: frames, messages, host side, plugin SDK and conformance suite 179 6h ago energyml-export cargo 0.2.0-alpha.4 none none Writes EnergyML geometry out to interchange formats, through a registry new formats plug into. 178 15h ago lungo cargo 1.108.38 none none Runtime and facade types for Rust code generated from Lean by lungo-build 177 17h ago mercs2_quartermaster cargo 4.0.0 none 1 vulnerability 1 Mercenaries 2 Shipment format: reads a manifest.yaml/.json/.toml, lints it against the engine's HANG-class traps, and builds it into an overlay WAD. Ships the… 176 2d ago dprint-plugin-pug cargo 0.1.12 none none A super minimal Pug formatter plugin for dprint. 174 3d ago rvsim-core cargo 2.0.0 none none A high-performance cycle-accurate RISC-V 64-bit system simulator. 172 7d ago piper-sdk cargo 0.0.3 none none Unified SDK for Piper robot arm control with real-time performance 171 7d ago layline cargo 0.5.0 none none Binary wire formats as Rust types. 168 3d ago nisshi-perf cargo 0.7.0-pre.3 none none Performance producer/consumer 168 2d ago source-vtf cargo 0.6.0 none none Fast, safe and ergonomic support for Valve Texture Format files. 167 2d ago astral-ini cargo 0.0.1 none none A high-performance INI parser designed for Python packaging 166 6d ago grr-cli cargo 2.0.0 none none Google tools from the terminal, at maximum performance: 401 methods across 14 Google APIs in one generated command tree, zero-config, over HTTP/3 164 10h ago parse-rust-schema cargo 0.4.0 none none Parse field types, inference, validation and the _SCHEMA storage format, for parse-rust-server. 159 6d ago kcode-k1-chat-thread-main-actor-testkit cargo 0.5.8 none none Downstream selected-executable conformance evidence for the K1 chat-thread actor 158 9d ago neco-polynomial cargo 0.1.1 none none canonical exact polynomials with formal derivatives and interval evaluation 158 2d ago revault_migrate_archive_v1 cargo – 0.0.36 did not build – Historical native archive-format-v1 exporter for reVault migrations 157 4d ago threemd cargo 2.0.0 none none A faithful Rust implementation of the 3md format: Markdown extended along a single free Z axis. 156 8d ago grebe-syntax cargo 0.6.4 none none DuckDB SQL parser built from DuckDB's own PEG grammar: tokenizer, packrat matcher, lossless CST. 154 2d ago astli-text cargo 0.3.0 none none Files, spans, and macro-expansion provenance for SystemVerilog tooling 153 8d ago ironwork-syntax cargo 0.9.0 none none ironwork for COBOL: fixed-format source reader, lexer and parser 153 7d ago wickra-zk-host cargo – 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 9d ago mcp-atlassian-storage-markdown cargo 0.3.3 none none Confluence storage format (XHTML) <-> Markdown conversion 148 13h ago typf-export cargo 5.1.0 none none Export formats (PNG, PNM, raw pixels) for Typf 148 2h ago astli-syntax cargo 0.3.0 none none Lossless syntax tree, lexer, and preprocessor for SystemVerilog 146 8d ago awsc-output cargo 0.4.1 none none Output formatting for a Rust port of the AWS CLI: json, text, table, yaml and JMESPath queries. 146 4d ago automation-structures cargo 0.3.1 none none Checked state machines for budgets, selection, traversal, and automation execution flow. 144 9d ago graphwalker-io cargo 1.0.4 none none Model I/O for GraphWalker: JSON and GraphML/yEd format readers and writers 142 6d ago accent-proust cargo 0.12.2 none none A Rust implementation of the Markdoc language: parse, validate, transform, render, and format. 141 9d ago astli-preproc cargo 0.3.0 none none Directives, macro expansion, and `include resolution for SystemVerilog 137 8d ago 