singsing-rs cargo 0.3.0 none none Blazing-fast IPv4/TCP port scanning library for Linux 77 6d ago sensitive-fmt cargo 0.3.0 none none Derive Debug and Display while honoring #[sensitive(redact | truncate = N | skip)] field attributes. 2.3K 6d ago attra-macro cargo 0.1.1 none none Derive macros for attra: ergonomic attribute parsing for proc-macros. 11 6d ago attra-core cargo 0.1.1 none none Core traits and code generation for attra: ergonomic attribute parsing for proc-macros. 13 6d ago attra cargo 0.1.1 none none Ergonomic attribute parsing for Rust proc-macros — a friendlier darling. 8 6d ago rh-vcl cargo 0.3.0 none none ValueSet Compose Language (VCL) is a domain-specific language for expressing ValueSet CLDs in a compact syntax suitable for use within a URL and enabling a new… 317 6d ago aitp-session-bundle cargo 0.13.2 none none Session Trust Bundle (RFC-AITP-0010) — coordinator-attested membership for multi-agent sessions 446 6d ago rom-weaver-checksum cargo 0.21.0 none none Checksum engines for rom-weaver: CRC-32, CRC-32C, CRC-16, Adler-32, MD5, SHA-1, SHA-256, and BLAKE3, plus a single-pass streaming engine with… 775 6d ago emergency_migrating_transfer_library cargo – 3.0.0-rc.3 did not build – Host-side proving API for the AnomaPay ERC20 transfer resource: emergency migration transaction builder and embedded guest ELF/ImageID. 11 6d ago tree-sitter-masl cargo 0.6.0 none none MASL is an educational assembly language that is not supposed to be used for interactive exercises and games. 309 6d ago ntex-basicauth cargo 0.5.0 none none A Basic Authentication middleware for ntex web framework. 1.3K 6d ago sp1-gpu-jagged-assist cargo 6.9.0 8 none GPU helper kernels for jagged polynomial operations 1.9K 6d ago rexdna cargo 0.1.0 none none Regular Expressions optimized for DNA. 8 6d ago faultscope-core cargo 0.2.12 none none Python-independent circuit, DEM, sampling, and decoder primitives for FaultScope 16 6d ago arty cargo 0.4.0 none none Single-threaded, thread-aware application runtime. 5.0K 6d ago gittype cargo – 0.10.3 did not build – A typing practice tool using your own code repositories 5.5K 6d ago ikigai-diagram cargo 0.2.0 none none A kernel's arrangement as a picture: urn:diagram:* renders the resolution topology (urn:kernel:topology, or any declaration of a space) as an accessible,… 215 6d ago polint cargo 0.5.0 none none Multi-language repo-local static-analysis rules (Go and TypeScript/JavaScript today) 4.6K 6d ago pulse-leptos-ui cargo 0.15.17 none none Dark-first reactive UI components and design system for Leptos 4.8K 6d ago pasta_core cargo 0.3.8 none none Pasta Core - Language-independent DSL parsing and registry layer 1.1K 6d ago exhash cargo 0.4.20 none none Verified line-addressed file editor using lnhash addresses 132 6d ago ag-store cargo – 0.17.0 did not build – Agentty is an ADE (Agentic Development Environment) for structured, controllable AI-assisted software development. 570 6d ago spring_damper cargo 0.1.1 none none Damped springs and motion transitions 17 6d ago publet-algorithms cargo 0.2.0 none none Generic algorithms publet is built on: an RFC 6962 Merkle log, sorted-set membership with absence proofs, recursive content trees, exact fixed-point… 9 6d ago hekate-math cargo 0.12.1 none none Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 6d ago sp1-recursion-gnark-cli cargo – 6.9.0 did not build – CLI for SP1 Gnark proof generation 32K 6d ago sp1-recursion-circuit cargo 6.9.0 8 none Recursion circuit for SP1 proof aggregation 2M 6d ago sp1-recursion-gnark-ffi cargo 6.9.0 8 none FFI bindings to Gnark for SP1 2M 6d ago sp1-recursion-machine cargo 6.9.0 none none Machine definitions for SP1 recursion 550K 6d ago sp1-recursion-compiler cargo 6.9.0 8 none Compiler for SP1 recursion circuits 2M 6d ago 