| proofman-fields cargo | | – 1.3.2-alpha did not build | – | Goldilocks field arithmetic, extensions, Poseidon hashes, Merkle trees, and FRI primitives for PIL2 proofman | 15K | 4d ago |
| proofman-starks-src cargo | 1.3.2-alpha | none | none | Vendored pil2-stark prover sources (C/C++/CUDA), compiled by proofman-starks-lib-c | 15K | 4d ago |
| proofman-starks-lib-c cargo | | – 1.3.2-alpha did not build | – | Rust FFI bindings to the pil2-stark C/CUDA proving library | 14K | 4d ago |
| proofman-verifier cargo | | – 1.3.2-alpha did not build | – | STARK proof verifier with Poseidon transcripts for the PIL2 proofman framework | 14K | 4d ago |
| proofman-util cargo | 1.3.2-alpha | none | none | Low-level utilities (device buffers, timers, helpers) for the PIL2 proofman framework | 8.0K | 4d ago |
| proofman-macros cargo | 1.3.2-alpha | none | none | Procedural macros for the PIL2 proofman framework | 7.9K | 4d ago |
| proofman-common cargo | | – 1.3.2-alpha did not build | – | Shared proof/setup contexts, traces, and STARK metadata types for the PIL2 proofman framework | 7.9K | 4d ago |
| proofman-hints cargo | | – 1.3.2-alpha did not build | – | Hint definitions and evaluation for the PIL2 proofman framework | 7.8K | 4d ago |
| proofman-witness cargo | | – 1.3.2-alpha did not build | – | Witness library, component, and manager traits for the PIL2 proofman framework | 7.8K | 4d ago |
| proofman-curves cargo | | – 1.3.2-alpha did not build | – | Elliptic curves over Goldilocks extensions (EcGFp5, EcMasFp5) for the PIL2 proofman framework | 7.8K | 4d ago |
| proofman cargo | | – 1.3.2-alpha did not build | – | PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping | 7.7K | 4d ago |
| proofman-exps-codegen cargo | 1.3.2-alpha | none | none | Expression code generation for the PIL2 proofman framework | 7.0K | 4d ago |
| pil2-std-lib cargo | | – 1.3.2-alpha did not build | – | PIL2 standard library: range checks, lookups, and sum/product arguments for proofman | 7.8K | 4d ago |
| wickra-simd cargo | 2.0.0 | none | none | Runtime SIMD dispatch for the Wickra technical indicators core: runs a kernel with AVX2 and FMA, or AVX-512, enabled when the CPU has them, with identical… | 2.7K | 8d ago |
| fp-dot-kernel cargo | | – 0.5.0 did not build | – | ISA-isolated f64 dot-product materialization for frankenpandas: the ONE crate compiled with +avx2,+fma so the rest of the workspace stays at baseline. | 259 | 5d ago |
| poulpy-cpu-avx512 cargo | | – 0.9.0 did not build | – | AVX-512 accelerated CPU backends for poulpy-hal: FFT64 (AVX-512F), NTT4x30 (AVX-512F, 4x30-bit primes), and NTT3x42 (AVX-512-IFMA, 3x42-bit primes) | 229 | 4d ago |
| tpt-simd-mul cargo | 0.1.0 | none | none | SIMD multiply variants (high/low/widening/complex) | 12 | 1d ago |
