| mockiato cargo | 0.9.6 | clean | A strict, yet friendly mocking library for Rust 2018 | 137K | 2d ago |
| p3-mersenne-31 cargo | 0.9.0-rc.1 | clean | An implementation of the Mersenne31 prime field F_p, where p = 2^31 - 1. | 111K | 2h ago |
| taceo-eddsa-babyjubjub cargo | 0.6.1 | clean | An EdDSA signature scheme implementation over the Baby Jubjub elliptic curve using Poseidon2, useful for SNARK-friendliness. | 103K | 2d ago |
| ec25519 cargo | 0.1.0 | clean | Small, self-contained, wasm-friendly elliptic curve algorithms for 25519 curve family | 80K | 3d ago |
| p3-multilinear-util cargo | 0.9.0-rc.1 | clean | A collection of utility functions and tools for multilinear operations. | 72K | 2h ago |
| p3-lookup cargo | 0.9.0-rc.1 | clean | LogUp: Logarithmic lookup arguments and multiset equality checks with multiplicities support. | 41K | 2h ago |
| p3-blake3-air cargo | 0.9.0-rc.1 | clean | AIR implementations for the Blake3 permutation over fields of size between 2^20 and 2^32 and over binary fields. | 40K | 2h ago |
| p3-security cargo | 0.9.0-rc.1 | clean | Soundness analysis for STARK protocols: per-error-source modules composed at the protocol call site. | 39K | 2h ago |
| p3-batch-stark cargo | 0.9.0-rc.1 | clean | Batched STARK wrapper atop p3-uni-stark that reuses FRI openings across instances. | 39K | 2h ago |
| apollo-configuration cargo | 0.8.0 | clean | A typed, friendly configuration system for Apollo products. | 30K | 2d ago |
| tanu cargo | 1.3.1 | clean | tanu - High-performance and async-friendly WebAPI testing framework for Rust | 29K | 1d ago |
| aptos-sdk cargo | 0.8.0 | clean | A user-friendly, idiomatic Rust SDK for the Aptos blockchain | 25K | 1d ago |
| merman-ascii cargo | 0.8.0 | clean | Terminal-friendly ASCII and Unicode renderer for Mermaid typed models. | 22K | 5d ago |
| p3-circle cargo | 0.9.0-rc.1 | clean | A STARK proof system built around the unit circle of a finite field, based on the Circle STARKs paper. | 19K | 2h ago |
| p3-rescue cargo | 0.9.0-rc.1 | clean | Implementation of the Rescue hash function and its variants. | 15K | 2h ago |
| proofman-fields cargo | | not built 1.3.2-alpha did not build | Goldilocks field arithmetic, extensions, Poseidon hashes, Merkle trees, and FRI primitives for PIL2 proofman | 15K | 1d ago |
| algae-cli cargo | 1.1.13 | clean | Lightweight age profile for user-friendly encryption (CLI tool and library) | 13K | 5d ago |
| systemprompt-provider-contracts cargo | 0.65.0 | clean | Provider trait contracts for systemprompt.io AI governance infrastructure. LlmProvider, ToolProvider, JobContext and friends — swap Anthropic, OpenAI, Gemini,… | 13K | 1d ago |
| p3-field-testing cargo | 0.9.0-rc.1 | clean | Testing utilities for finite field arithmetic and field-based operations in the Plonky3 ecosystem. | 12K | 2h ago |
| p3-monolith cargo | 0.9.0-rc.1 | clean | Implements the Monolith permutation family over Mersenne31 and Goldilocks fields. | 12K | 2h ago |
| systemg cargo | 0.68.2 | 8 vulnerabilities 8 | An agent-friendly general-purpose program orchestrator for busy people. | 9.2K | 5d ago |
| sum-tree-gpui-unofficial cargo | 1.24.1-pre | clean | A sum tree data structure, a concurrency-friendly B-tree | 7.8K | 2d ago |
| p3-sha256 cargo | 0.9.0-rc.1 | clean | Plonky3 hash trait implementations for the SHA2-256 hash function. | 7.3K | 2h ago |
| hub75-framebuffer cargo | 0.13.0 | clean | DMA-friendly Framebuffer implementation for HUB75 LED matrix displays | 5.4K | 3d ago |
| charton cargo | 0.8.3 | clean | Altair-style declarative plotting library for Rust. High-performance, Polars-friendly, with SVG/PNG/PDF export and Wasm support. | 4.5K | 5d ago |
| tellaro-query-language cargo | 3.3.0 | clean | A flexible, human-friendly query language for searching and filtering structured data | 3.9K | 4d ago |
| p3-zk-codes cargo | 0.9.0-rc.1 | clean | Zero-knowledge codes, including Reed-Solomon ZK encoding. | 3.5K | 2h ago |
| p3-sumcheck cargo | 0.9.0-rc.1 | clean | Sumcheck protocol engine (product polynomials, SVO, HVZK masks) | 3.3K | 2h ago |
| humanize cargo | 0.0.1 | clean | Convert common things to humanized output. Parse input text in a human-friendly way. | 3.3K | 2d ago |
| bezel-zed-sum-tree cargo | 0.3.19+zed.f16f96 | clean | A sum tree data structure, a concurrency-friendly B-tree | 3.0K | 21h ago |
