spring_damper cargo 0.1.1 none none Damped springs and motion transitions 17 9d ago fault-cli cargo 1.2.1 none none Network-level fault injection CLI 5.4K 9d 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 9d 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 9d ago winnow-rfc9110 cargo 0.0.2 none none Winnow parsers for RFC 9110 HTTP syntax productions 90 9d ago sp1-recursion-gnark-cli cargo – 6.9.0 did not build – CLI for SP1 Gnark proof generation 32K 9d ago sp1-lib cargo 6.9.0 none none SP1 zkVM library functions 2M 9d ago sp1-cli cargo – 6.9.0 did not build – The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs. 55K 9d ago sp1-recursion-circuit cargo 6.9.0 8 none Recursion circuit for SP1 proof aggregation 2M 9d ago sp1-cuda cargo – 6.9.0 did not build – CUDA integration for SP1 GPU proving 991K 9d ago 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 