proofman cargo – 1.3.2-alpha did not build – PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping 7.7K 7d ago farhand-templates cargo 1.11.1 none none Pluggable build templates with project/user/builtin resolution for Farhand 96 7d ago farhand-protocol cargo 1.11.1 none none Wire protocol for Farhand: framing, message types, path normalization, and TLS 122 7d ago proofman-fields cargo – 1.3.2-alpha did not build – Goldilocks field arithmetic, extensions, Poseidon hashes, Merkle trees, and FRI primitives for PIL2 proofman 15K 7d ago poseidon-merkle cargo 0.11.0 none none Crate implementing Dusk Network's Merkle tree with the poseidon hash function 56K 7d ago greentic-gui cargo – 1.2.0 did not build – Greentic GUI runtime (Axum-based) that serves tenant packs, enforces auth, and exposes worker/session APIs plus a browser SDK. 495 7d ago morflow-core-types cargo 0.4.2 none none Shared payloads, tensor types, shapes, and action interfaces for Morflow 10 7d ago morflow cargo 0.2.6 none 2 Data Processing & Tensor Transformation Engine 8 7d ago jscpd cargo 5.4.1 none 1 Copy/paste detector — fast Rust-based CLI for code duplication detection 12K 7d ago delta-kernel-unity-catalog cargo 0.1.0 none none Unity Catalog integration for delta_kernel. 7 7d ago wg-appliance-core cargo 0.1.6 none none The ONE userspace WireGuard data plane of the nordisk appliance fleet: x25519 key handling + keygen, a wg-quick INI tokenizer, a /dev/net/tun device, a… 232 7d ago sema-stdlib cargo – 1.37.0 did not build – Standard library (350+ native functions) for the Sema programming language 1.8K 7d ago sema-docs cargo 1.37.0 none none Canonical structured documentation for Sema builtins/special forms; powers LSP hover/completion and REPL apropos 1.1K 7d ago fusionspace-hpr-cli cargo 0.1.0 none none 7d ago sema-io cargo 1.37.0 none none The process-wide tokio I/O pool behind sema-core's executor seam 824 7d ago shiguredo_opus cargo 2026.4.0 2 none Rust bindings for the Opus audio codec 8.6K 7d ago sema-llm cargo 1.37.0 none none LLM provider integrations (Anthropic, OpenAI) for the Sema programming language 2.1K 7d ago sema-reader cargo 1.37.0 none none Lexer and s-expression parser for the Sema programming language 2.5K 7d ago mc_schem cargo 1.2.0 none 2 A library to read, create, modify and write various Minecraft schematic files 7.9K 7d ago concordium-smart-contract-engine cargo 7.0.0 none none Concordium's smart contract execution engine 43K 7d ago bevy_procedural_tilemaps cargo 0.5.1 none none Lightweight 2D tilemap generation with Wave Function Collapse / Model Synthesis for Bevy 4.2K 7d ago fontspector-profile-opentype cargo 1.7.1 1 none Fontspector checks for OpenType font specification compliance 4.2K 7d ago fontspector-checkhelper cargo 1.1.0 none none Macros for generating check functions for fontspector 3.8K 7d ago nornir-escape cargo 0.1.1 none none The ONE shared markup-escaping primitive for the nordisk constellation — XML/SVG entity escaping (`xml` → `& < > "` become `& < > "`,… 317 7d ago fandhe-ai-tensor-core cargo 0.11.0 none none From-scratch tensor type, computation graph, and kernel fusion core for a Rust AI/ML library 464 7d ago fusionspace-hpr cargo 0.1.0 none none The library facade of FusionSpace HPR · Sim: re-exports of the workspace crates and a builder API for environments, motors, rockets and flights. 10 7d ago fusionspace-hpr-forensics cargo 0.1.0 none none Flight against simulation: residuals, parameter identification and fault diagnosis. 11 7d ago mbtiles cargo – 0.21.0 did not build – A simple low-level Mbtiles access and processing library, with some tile format detection and other relevant heuristics. 69K 7d ago martin-tile-utils cargo 0.9.0 none none Utilities to help with map tile processing, such as type and compression detection. Used by the MapLibre's Martin tile server. 70K 7d ago open62541-sys cargo 0.6.4 none none Low-level, unsafe bindings for the C11 library open62541, an open source and free implementation of OPC UA (OPC Unified Architecture). 503K 7d ago 