| openehr-its cargo | 0.0.90 | none | none | openEHR ITS (Implementation Technology Specifications): canonical JSON + canonical XML serialization of the RM, the generated ITS-REST 1.1.0 API contract, and… | 6.3K | 14h ago |
| prusti-specs cargo | | – 0.3.1 did not build | – | Internal Prusti crate for parsing specifications | 18K | 1d ago |
| prusti-contracts cargo | 0.3.1 | none | none | Tools for specifying contracts with Prusti | 25K | 1d ago |
| a4-cli cargo | 0.42.0 | none | high | CLI tool for generating TypeScript SDKs from Arete stream specifications | 1.2K | 1d ago |
| asnkitrt cargo | 1.2.0 | none | none | Encode and decode ASN.1 with compiled specifications, also without std | 62 | 1d ago |
| helios-fhir-gen cargo | | – 0.2.5 did not build | – | The helios-fhir-gen crate is module that serves as the cornerstone for generating Rust code from official FHIR (Fast Healthcare Interoperability Resources)… | 6.9K | 1d ago |
| dacc-knowledge cargo | 1.0.0 | none | none | DACC: the knowledge layer - the schema for decisions and specifications | 185 | 2d ago |
| redispatch-xml cargo | 0.23.0 | none | none | Redispatch 2.0 XML/XSD format parsing and validation for the German electricity grid (CIM/ENTSO-E-based, per BDEW specifications) | 350 | 2d ago |
| openapi-aggregator cargo | 0.9.0 | none | high | Aggregate and merge OpenAPI specifications from multiple sources | 9 | 2d ago |
| main-spex cargo | 0.26.0 | none | low | AI-first development framework that turns specifications into verified code | 58 | 2d ago |
| oapi-codegen cargo | 1.5.2 | none | low | Generate client and server boilerplate from OpenAPI 3 specifications | 228 | 2d ago |
| vstd cargo | 0.0.0-2026-10-18-0147 | none | none | Verus Standard Library: Useful specifications and lemmas for verifying Rust code | 438K | 2d ago |
| wazabin-sleigh-fmt cargo | 0.1.15 | none | none | Source formatter for SLEIGH processor specifications | 190 | 3d ago |
| makedown-cli cargo | 0.2.0 | none | high | Compile Markfile specifications into staged Markdown implementation plans | 15 | 3d ago |
| hyprforge-fileops cargo | 0.1.15 | none | none | Trash, copy, move and rename per the freedesktop specifications, aware of which filesystem a path is on, as step-driven operations with no async runtime or… | 190 | 3d ago |
| wazabin-sleigh-precompile cargo | 0.1.15 | none | none | SLEIGH processor specifications compiled at build time and embedded | 478 | 4d ago |
| lemma-lsp cargo | 0.10.2 | none | none | Language Server Protocol server for Lemma specifications | 355 | 4d ago |
| webspec-index cargo | 0.14.0 | none | high | Query WHATWG/W3C/TC39 web specifications from the command line | 494 | 5d ago |
| css_value_definition_parser cargo | 0.0.36-canary.f8a66bb8f5 | none | none | Parser for CSS value definition syntax used in CSS specifications. | 11K | 5d ago |
| csskit_proc_macro cargo | 0.0.36-canary.f8a66bb8f5 | none | none | Procedural macros for generating CSS parsers from grammar specifications. | 30K | 5d ago |
| ai-team cargo | 0.1.6 | none | none | Run Claude Code and Codex together for bounded debates and software specifications | 82 | 7d ago |
| ai-agents cargo | 1.1.2 | none | none | A Rust framework for building AI agents from YAML specifications with trait-based extensibility | 8.2K | 9d ago |
| clawspec-core cargo | 0.5.0 | none | none | Core library for generating OpenAPI specifications from tests | 8.4K | 9d ago |
| img-gen-spec cargo | 0.2.4 | none | none | An API to create image generator specifications | 314 | 10d ago |
| mere-curation cargo | 0.1.0 | none | none | View-local graph curation for Mere: subgraph specifications now, folds and other per-view curation as they arrive. | 8 | 11d ago |
| fusionspace-hpr-analysis cargo | 0.1.0 | none | none | Monte Carlo dispersion, sensitivity analysis, optimization and challenge specifications. | 13 | 11d ago |
| gix-revision cargo | | – 0.51.0 did not build | – | A crate of the gitoxide project dealing with finding names for revisions and parsing specifications | 51M | 12d ago |
| dirs2 cargo | 3.0.1 | none | none | A tiny low-level library that provides platform-specific standard locations of directories for config, cache and other data on Linux, Windows, macOS and Redox… | 233K | 12d ago |
| dirs-2 cargo | 3.0.1 | none | none | A tiny low-level library that provides platform-specific standard locations of directories for config, cache and other data on Linux, Windows and macOS by… | 41K | 12d ago |
| aperture-cli cargo | 0.2.0 | none | none | Dynamic CLI generator for OpenAPI specifications | 2.6K | 2026-10-06 |
