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 sp1-recursion-executor cargo 6.9.0 none none Executor for SP1 recursion programs 550K 6d ago lys-core cargo 0.3.1 none none Domain-agnostic cryptographic trust primitives — certificate authority, Merkle transparency log, signed attestations, sealed envelopes, and Ed25519 key… 155 6d ago kibisis cargo 0.1.0-alpha.2 none none Local-first encrypted cognitive memory vault with atomic concurrency leases. 8 6d ago harpe cargo 0.1.0-alpha.2 none none Deterministic context synthesis and token budgeting for cognitive AI agents. 8 6d ago detamu cargo 0.2.0 none none Embeddable versioned world-model engine for agents and developer tools 1.5K 6d ago slop-multilinear cargo 6.9.0 none none Multilinear polynomial extensions for SLOP 582K 6d ago slop-tensor cargo 6.9.0 none none N-dimensional tensor operations for polynomial proof systems 583K 6d ago arduino-report-size-deltas cargo 1.2.2 none none Post a comment on the pull request with a report about the change in memory usage of Arduino sketches 4.0K 6d ago slop-challenger cargo 6.9.0 none none Fiat-Shamir challenger with SP1-specific extensions for SLOP 720K 6d ago pqsio cargo – 0.2.5 did not build – Shared pairs and concat PQS storage for Rust, C, C++ and Python 8 6d ago nordisk-twin cargo 0.1.0 none none A box's twin over mutual TLS 1.3: the primary's own persistent replication issuer, a client certificate issued from the twin's own request (proof of… 8 6d ago fraiseql-auth cargo 2.16.0 none none Authentication, authorization, and session management for FraiseQL 1.3K 6d ago nornir-auth-sshsig cargo 0.1.0 none none Per-call SSH-signature (SSHSIG) credentials for gRPC control planes, product-neutral: the credential a caller signs with its own OpenSSH key (method-bound,… 8 6d ago estate-front cargo 0.1.0 none none What an estate's FRONT (vm1) does that is no product's: its own HTTPS (the certificate fed, kept or from ACME HTTP-01 in-process, the hand-over to its… 6 6d ago rllvm-core cargo 0.7.0 none none Core library for rllvm: argument classification, bitcode capture and catalogs 109 6d ago 