sp1-recursion-gnark-ffi cargo 6.9.0 8 none FFI bindings to Gnark for SP1 2M 9d ago sp1-prover cargo – 6.9.0 did not build – The SP1 prover implementation 2M 9d ago sp1-prover-types cargo – 6.9.0 did not build – Type definitions for the SP1 prover 534K 9d ago sp1-recursion-machine cargo 6.9.0 none none Machine definitions for SP1 recursion 550K 9d ago sp1-recursion-compiler cargo 6.9.0 8 none Compiler for SP1 recursion circuits 2M 9d ago sp1-recursion-executor cargo 6.9.0 none none Executor for SP1 recursion programs 550K 9d ago sp1-core-machine cargo 6.9.0 8 none SP1 core machine definitions 2M 9d ago plugin-door-wire cargo 0.1.0 none none The wire a product server speaks to the front's plugin door to register ITS OWN monetize plugin: what the door holds, the registration, the answer, and the… 8 9d ago sp1-jit cargo 6.9.0 none none JIT compilation for SP1 trace generation 567K 9d ago slop-dft cargo 6.9.0 none none Discrete Fourier Transform operations for tensors in SLOP 582K 9d ago slop-basefold-prover cargo 6.9.0 none none BaseFold prover implementation with FRI integration 582K 9d ago slop-sumcheck cargo 6.9.0 none none Sumcheck protocol implementation for multilinear polynomials 582K 9d ago flowrs-config cargo 0.14.0 none none Configuration types for flowrs 692 9d ago detamu cargo 0.2.0 none none Embeddable versioned world-model engine for agents and developer tools 1.5K 9d ago throttle-kit cargo 2.1.0 none none Rate limiting for Rust — GCRA algorithm with in-memory and Redis backends, Tower layer integration 2.8K 9d ago slop-utils cargo 6.9.0 none none Utility functions and logger setup for SLOP 583K 9d ago slop-baby-bear cargo 6.9.0 none none BabyBear field with Poseidon2 configuration for SLOP 582K 9d ago sp1-curves cargo 6.9.0 none none Elliptic curve implementations for SP1 2M 9d ago slop-futures cargo 6.9.0 none none Async and concurrent execution utilities for SLOP 584K 9d ago slop-commit cargo 6.9.0 none none Polynomial commitment scheme abstractions for SLOP 583K 9d ago slop-multilinear cargo 6.9.0 none none Multilinear polynomial extensions for SLOP 582K 9d ago slop-tensor cargo 6.9.0 none none N-dimensional tensor operations for polynomial proof systems 583K 9d ago slop-alloc cargo 6.9.0 none none Memory allocation backend abstraction for SLOP 583K 9d ago slop-koala-bear cargo 6.9.0 none none KoalaBear field with Poseidon2 configuration for SLOP 719K 9d ago slop-challenger cargo 6.9.0 none none Fiat-Shamir challenger with SP1-specific extensions for SLOP 720K 9d ago pqsio cargo – 0.2.5 did not build – Shared pairs and concat PQS storage for Rust, C, C++ and Python 8 9d ago ffai-carmenta cargo 0.12.0 none none Carmenta — pure-Rust OCR: documents, screens, and a change-gated LIVE frame reader. Detection + recognition + computed reading order, engine-selectable. 574 9d 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 9d ago nornir-feature-graph cargo 0.2.1 none none The feature→dependency activation graph parsed out of Cargo manifests: the one edge cargo metadata cannot supply, and the two adjoints of the Galois connection… 155 9d ago wt-translations cargo 0.17.0 none none Translation key mappings, TextResolver trait, and language metadata for WoWs Toolkit 472 9d ago