| sandogasa-pkg-health cargo | 0.26.0 | none | none | Audit package health across a sandogasa inventory | 593 | 3d ago |
| binvim cargo | 0.8.5 | none | low | Vim-grammar TUI editor with batteries included — tree-sitter, multi-server LSP, DAP, multi-cursor, sessions, single binary, no plugin system. | 614 | 3d ago |
| simple_impl_core cargo | 0.3.2 | none | none | The semantic models behind simple_impl_derive: what a builder field, a shell field, a composite command and a validation rule mean once their attributes are… | 88 | 3d ago |
| floravox-wasm cargo | 0.1.2 | none | none | The floravox engine in the browser: async synthesis on onnxruntime-web (wasm32) | 24 | 3d ago |
| loftspec cargo | 2.1.0 | none | none | The Loft Specification Format: document model, identity, canonical bytes, hashing and conversion | 118 | 3d ago |
| cargo-anvil cargo | 0.14.1 | none | none | Opinionated, unified Rust build and cloud-workflow scaffolding for GitHub Actions and Azure DevOps | 618 | 3d ago |
| et-test-otlp cargo | 0.2.0 | none | none | OTLP test support: a span emitter, plus flattening helpers over mock-collector's captures | 38 | 3d ago |
| loft-cli cargo | 2.1.0 | none | none | The loft command line: author, check, format, render and publish a specification in a git repository | 73 | 3d ago |
| p3-binary-dft cargo | 0.9.0-rc.2 | none | none | Additive NTT over F_2-linear subspaces of the Plonky3 binary tower fields | 256 | 3d ago |
| leani-testkit cargo | 0.1.0-rc.8 | none | none | Deterministic fixtures and conformance helpers for Leani processors and sources | 41 | 3d ago |
| incr-concurrent cargo | 0.2.0-beta.5 | none | none | Thread-safe incremental computation engine. Send+Sync runtime built on incr-core. | 642 | 3d ago |
| incr-core cargo | 0.2.0-beta.5 | none | none | Shared core for the incr family. Strategy-parameterized incremental computation engine. Used via incr-compute (single-threaded) or incr-concurrent (Send +… | 687 | 3d ago |
| p3-zk-codes cargo | 0.9.0-rc.2 | none | none | Zero-knowledge codes, including Reed-Solomon ZK encoding. | 3.5K | 3d ago |
| p3-sumcheck cargo | 0.9.0-rc.2 | none | none | Sumcheck protocol engine (product polynomials, SVO, HVZK masks) | 3.4K | 3d ago |
| p3-multilinear-util cargo | 0.9.0-rc.2 | none | none | A collection of utility functions and tools for multilinear operations. | 73K | 3d ago |
| rahi-types cargo | 0.7.1 | none | none | The plain-data substrate of the rahi chassis: Error, Principal, Revision, FenceToken, Config | 728 | 3d ago |
| laterite-admin cargo | 0.9.16 | none | none | Laterite CMF admin surface: the Axum router, session middleware, and login shell | 420 | 3d ago |
| laterite-macros cargo | 0.9.16 | none | none | Laterite CMF procedural macros: the t!/tn!/tp! translation-string macros | 620 | 3d ago |
| p3-binary-field cargo | 0.9.0-rc.2 | none | none | Characteristic-2 tower fields GF(2) ⊂ GF(4) ⊂ … ⊂ GF(2^128) for Plonky3 | 412 | 3d ago |
| p3-batch-stark cargo | 0.9.0-rc.2 | none | none | Batched STARK wrapper atop p3-uni-stark that reuses FRI openings across instances. | 39K | 3d ago |
| p3-circle cargo | 0.9.0-rc.2 | none | none | A STARK proof system built around the unit circle of a finite field, based on the Circle STARKs paper. | 19K | 3d ago |
| p3-field-testing cargo | 0.9.0-rc.2 | none | none | Testing utilities for finite field arithmetic and field-based operations in the Plonky3 ecosystem. | 12K | 3d ago |
| ulo-rpc-tcp cargo | 0.1.0-alpha.1 | none | none | The TCP link for Ulo RPC: length-prefixed frames multiplexed by id over one connection | 9 | 3d ago |
| p3-bn254 cargo | 0.9.0-rc.2 | none | none | A wrapper for the ark_bn254::Fr field allowing it to be used in the Plonky3 environment | 200K | 3d ago |
| p3-monty-31 cargo | 0.9.0-rc.2 | none | none | An implementation of a generic prime field F_p, where 2^30 < p < 2^31 using Montgomery arithmetic. | 677K | 3d ago |
| p3-blake3 cargo | 0.9.0-rc.2 | none | none | A wrapper for the standard BLAKE3 cryptographic hash function allowing it to be used in the Plonky3 environment. | 573K | 3d ago |
| ext-php-rs cargo | | – 0.16.3 did not build | – | Bindings for the Zend API to build PHP extensions natively in Rust. | 755K | 3d ago |
| p3-uni-stark cargo | 0.9.0-rc.2 | none | none | A minimal univariate STARK framework providing core components for proof generation and verification. | 2M | 3d ago |
| p3-mds cargo | 0.9.0-rc.2 | none | none | A collection of methods allowing for fast multiplication by MDS matrices. | 3M | 3d ago |
| p3-fri cargo | 0.9.0-rc.2 | none | none | An implementation of the FRI low-degree test (LDT) protocol used in zero-knowledge proof systems. | 2M | 3d ago |
