proofman-exps-codegen cargo 1.3.2-alpha none none Expression code generation for the PIL2 proofman framework 7.0K 7d ago magents cargo 0.13.2 none none Mates + agents: a shared session bus for Claude Code, Codex, Copilot, Cursor, Gemini, Grok, and OpenCode 25 7d ago arachne-kv-testsupport cargo 0.4.0 none none Test-only support crate (never a normal dependency of production crates) 38 7d ago proofman-curves cargo – 1.3.2-alpha did not build – Elliptic curves over Goldilocks extensions (EcGFp5, EcMasFp5) for the PIL2 proofman framework 7.8K 7d ago inap cargo 2.0.0 none none Intelligent Network Application Part (INAP) CS-1 codec (ITU-T Q.1218 / ETSI EN 300 374-1), BER encode/decode of the SSF-SCF operations + application contexts 1.7K 7d ago farhand-agent cargo 1.11.1 none none Farhand agent daemon: persistent workspace caching, process isolation, and build runner 60 8d ago farhand-config cargo 1.11.1 none none Configuration loading and environment interpolation for Farhand's .farhand.yaml 67 8d ago pil2-stark-setup cargo – 1.3.2-alpha did not build – Setup and proving/verifying-key generation for the pil2-stark prover 7.0K 8d ago flactag cargo 0.0.1 none none Streaming FLAC manipulation 7 8d ago tcap cargo – 2.0.0 did not build – Pure-Rust TCAP (Transaction Capabilities Application Part) codec per ITU-T Q.771-Q.775 — transactions, dialogue, and components over BER 1.9K 8d ago proofman-hints cargo – 1.3.2-alpha did not build – Hint definitions and evaluation for the PIL2 proofman framework 7.8K 8d ago pil2-stark-recurser cargo – 1.3.2-alpha did not build – STARK recursion setup tooling for the pil2-stark prover 7.0K 8d ago proofman cargo – 1.3.2-alpha did not build – PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping 7.7K 8d ago farhand-templates cargo 1.11.1 none none Pluggable build templates with project/user/builtin resolution for Farhand 96 8d ago farhand-protocol cargo 1.11.1 none none Wire protocol for Farhand: framing, message types, path normalization, and TLS 122 8d 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 8d ago poseidon-merkle cargo 0.11.0 none none Crate implementing Dusk Network's Merkle tree with the poseidon hash function 56K 8d 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 8d ago morflow-core-types cargo 0.4.2 none none Shared payloads, tensor types, shapes, and action interfaces for Morflow 10 8d ago morflow cargo 0.2.6 none 2 Data Processing & Tensor Transformation Engine 8 8d ago jscpd cargo 5.4.1 none 1 Copy/paste detector — fast Rust-based CLI for code duplication detection 12K 8d ago delta-kernel-unity-catalog cargo 0.1.0 none none Unity Catalog integration for delta_kernel. 7 8d 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 8d ago sema-stdlib cargo – 1.37.0 did not build – Standard library (350+ native functions) for the Sema programming language 1.8K 8d 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 8d ago fusionspace-hpr-cli cargo 0.1.0 none none 8d ago sema-io cargo 1.37.0 none none The process-wide tokio I/O pool behind sema-core's executor seam 824 8d ago shiguredo_opus cargo 2026.4.0 2 none Rust bindings for the Opus audio codec 8.6K 8d ago sema-llm cargo 1.37.0 none none LLM provider integrations (Anthropic, OpenAI) for the Sema programming language 2.1K 8d ago sema-reader cargo 1.37.0 none none Lexer and s-expression parser for the Sema programming language 2.5K 8d ago 