sp1-gpu-jagged-tracegen cargo 6.9.0 8 none GPU trace generation for jagged/stacked polynomials 2.1K 7d ago cargo-cratesup cargo 0.2.0 none none A Cargo subcommand that scans your Cargo.toml dependencies and checks for available updates to help you keep your dependencies up-to-date. 2.7K 7d ago vissue-tui cargo 0.21.0 none none Terminal board over ready, claims, agenda, and search 515 7d ago sp1-gpu-tracing cargo 6.9.0 8 none Tracing and debugging instrumentation for SP1-GPU 2.1K 7d ago sp1-gpu-merkle-tree cargo 6.9.0 8 none GPU-accelerated Merkle tree commitment scheme 2.3K 7d ago sp1-gpu-basefold cargo 6.9.0 8 none GPU-accelerated BaseFold polynomial commitment protocol 2.2K 7d ago sp1-gpu-utils cargo 6.9.0 8 none Utility functions for SP1 GPU operations 2.7K 7d ago munin cargo 0.1.0 none none A visual heap memory profiler. 7 7d ago hugin cargo 0.1.0 none none A visual cpu profiler. 7 7d ago sp1-gpu-challenger cargo 6.9.0 8 none GPU challenger state management for Fiat-Shamir 2.5K 7d ago sp1-gpu-tracegen cargo 6.9.0 8 none Core GPU trace generation for SP1 machines 2.6K 7d ago emergency_migrating_transfer_witness cargo 3.0.0-rc.3 none none Witness data and resource-logic constraints for the AnomaPay ERC20 transfer resource, adding emergency migration support. 14 7d ago sp1-gpu-cudart cargo 6.9.0 8 none High-level Rust API for SP1 GPU operations 3.3K 7d ago swc_react_native_worklets cargo 0.3.0 none none SWC port of the official react-native-worklets OXC Rust plugin, with Legacy Eval support 1.2K 7d ago libbitsub-core cargo 1.13.0 none none Pure Rust parser and renderer core for graphical subtitles (PGS, VobSub, and DVB) 427 7d ago sp1-gpu-sys cargo 6.9.0 8 none FFI bindings and CUDA build system for SP1-GPU 3.4K 7d ago kira-ls-aligner cargo 0.5.0 none 3 Unified short- and long-read sequence aligner written in Rust 2024. It combines minimap2-style minimizers and chaining with BWA-MEM2-style exact-match… 659 7d ago sp1-gpu-air cargo 6.9.0 8 none AIR interface for SP1 machines on GPU 2.1K 7d 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 7d ago rp-supabase-realtime cargo 0.10.0 none none Supabase Realtime client: typed postgres changes, broadcast, and presence over websockets 5.4K 7d ago sp1-recursion-gnark-cli cargo – 6.9.0 did not build – CLI for SP1 Gnark proof generation 32K 7d ago sp1-helper cargo 6.9.0 none none Crate for building SP1 programs with build scripts. 215K 7d ago sp1-lib cargo 6.9.0 none none SP1 zkVM library functions 2M 7d ago sp1-zkvm cargo 6.9.0 none none The SP1 zkVM runtime and standard library 1M 7d ago bikkuri cargo 0.3.0 none none Calculate the surprisal of words in texts. 822 7d 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 7d ago sp1-recursion-circuit cargo 6.9.0 8 none Recursion circuit for SP1 proof aggregation 2M 7d ago sp1-cuda cargo – 6.9.0 did not build – CUDA integration for SP1 GPU proving 991K 7d ago sp1-verifier cargo 6.9.0 none none Verifier for SP1 Groth16 and Plonk proofs. 803K 7d ago sp1-recursion-gnark-ffi cargo 6.9.0 8 none FFI bindings to Gnark for SP1 2M 7d ago 