zbus-lockstep

Extra Credit builds an outline of zbus-lockstep's docs the first time your work uses it. Until then, start at the official documentation.

• varisat-formula Basic formula data types used by the Varisat SAT solver
• varisat-dimacs DIMCAS CNF parser and writer for the Varisat SAT solver
• icu_casemap Unicode case mapping and folding algorithms
• scoped-futures A utility crate for imposing upper bounds on Future lifetimes.
• schema_registry_converter Encode/decode Avro, Protobuf and JSON Schema data from/to Kafka using the Confluent Schema Registry
• datafusion-functions-array Array Function packages for the DataFusion query engine
• ra-ap-rustc_lexer Automatically published version of the package `rustc_lexer` in the rust-lang/rust repository from commit 6a98084e4a21b04504c034dfc640e35e32
• varisat-internal-proof Internal proof format for the Varisat SAT solver
• varisat-internal-macros Internal macros for the Varisat SAT solver
• solana-precompile-error Solana PrecompileError type
• pingora-ketama Rust port of the nginx consistent hash function
• onc-rpc Open Network Computing / Sun RPC types and fast serialisation