libcrux-hacl-rs cargo 0.0.6 clean Formally verified Rust code extracted from HACL* - helper library 3M 23h ago pallet-oracle cargo 0.7.0 clean FRAME oracle pallet for off-chain data 24K 12h ago pallet-oracle-runtime-api cargo 0.6.0 clean Runtime API for the oracle pallet. 24K 13h ago barnacle-rs cargo 0.5.3 clean Advanced rate limiting middleware for Axum with Redis backend, API key validation, and custom key extraction 5.1K 14h ago sqry-lang-oracle-plsql cargo 33.0.1 clean Oracle PL/SQL language plugin for sqry - semantic search with Oracle-specific metadata 3.5K 2d ago sz-orm-oracle cargo 9.4.0 clean SZ-ORM Oracle database adapter using the oracle crate (ODPI-C binding) 673 1d ago quoracle cargo 2.0.0 clean A library for constructing and analyzing read-write quorum systems 255 1d ago cadaclysm-sdk cargo 0.10.0 1 detection 1 Read CAD files (STEP, IGES, IFC, Rhino 3dm, ACIS SAT, OCCT BREP, OpenSCAD) and build exact B-rep solids, over the prebuilt cadaclysm libraries loaded at run… 164 1d ago a2acli-transport-slimrpc cargo 0.1.0 2 vulnerabilities 2 10h ago vta-sweepers cargo not built 0.12.0 did not build Background TTL sweepers for the VTA's core keyspaces — ACL grant expiry, pending-consent expiry, and soft-deleted-vault purge 6.2K 1d ago tree-sitter-plsql-sqry cargo 33.0.1 clean Tree-sitter grammar for Oracle PL/SQL (sqry fork) 3.9K 2d ago datafusion-util cargo not built 0.0.2 did not build [WIP] DataClod 3.8K 42m ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 10h ago crabka-authz cargo 0.3.9 clean Shared Kafka-ACL authorization evaluator for the Crabka broker and gateway 1.2K 1d ago rusty_rtos_port cargo 0.3.2 clean The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only… 377 3d ago cortiq-decision cargo 0.8.13 clean Cortiq Decision: typed decisions (choice, score, yes/no) from one CMF file — a native BERT encoder, a hashing contract and certified resonance skills, an… 294 1d ago sandogasa-closure cargo 0.25.3 clean Dependency-closure walking over fedrq, with a persisted graph and an offline oracle 218 1d ago 