deser-plist cargo 0.10.1 clean Property list (plist) support for deser 27 3d ago fusionspace-hpr-motor cargo 0.1.0 clean Solid rocket motor model (thrust, propellant mass, CG and inertia over time), `.eng`/`.rse` reading and writing, and catalog types. 21 1d ago fusionspace-hpr-design cargo 0.1.0 clean The canonical rocket design model: component tree, shapes, materials, mass properties, stages and configurations, and design checks. 20 1d ago h5i-app cargo 0.1.1 clean The Axum-based application framework for h5i. Write application logic in Rust and prove its properties in Lean 4. 16 4d ago ferrocad_core cargo 0.1.2 clean FerroCAD core: quantities, properties, documents, recompute DAG 15 4d ago openreadout-plate cargo 0.2.0 clean Reader for microplate-reader exports, with Allotrope ASM output, part of OpenReadout 15 1d ago en16931-codes cargo 0.1.0 clean The code lists of EN 16931 as published by the European Commission (version 17b) 10 14h ago en16931-codes-macros cargo 0.1.0 clean Proc-macro for generating the EN 16931 code list types from the code list file of the European Commission 10 14h ago ferrocad_part cargo 0.1.2 clean FerroCAD Part workbench: Part::Feature and Part::PropertyPartShape over the OCCT backend 9 4d ago omwei-iot cargo 0.1.0 1 vulnerability 1 Semantic interoperability primitives for heterogeneous IoT systems 9 1d ago soroban-testkit-generators cargo 0.3.0 clean Soroban-aware property testing generators for proptest and arbitrary 9 5h ago text-stats cargo 0.1.0 clean Word and character counts for a lot of languages, with proper segmentation for Chinese, Japanese and Thai. 9 19h ago eehrxf cargo 0.0.0 clean The European interoperability software component of an EHR system under Regulation (EU) 2025/327: the format-neutral dataset model of the priority categories… 8 4d ago 