aprender-verify cargo 0.70.2 clean A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework 574 1d ago nb-api cargo 0.4.1 clean Typed Rust interface to the nb note-taking CLI (subprocess wrapper: escaping, validation, output parsing) 571 21h ago rutis cargo 0.8.0 clean Cordis core paradigms in idiomatic Rust: plugin assembly, fiber lifecycle, typed service registry, dependency-driven reload 571 7h ago durare cargo 0.5.0 clean A DBOS-compatible durable execution SDK for Rust: write ordinary async code, checkpoint every step to Postgres or SQLite, and resume exactly where you left off… 565 2d ago protobuf-core cargo 0.2.2 clean A primitive utility library for Protocol Buffers in Rust 561 19h ago degenbot-core cargo 0.6.0-alpha.14 clean Foundational utilities (errors, hex, addresses, runtime) for the degenbot Rust crates. 556 1d ago mca-rs cargo 0.31.0 clean Rust port of the synApps mca record (multichannel analyzer) 550 2d ago digest-rs cargo not built 0.1.0 did not build Rust bindings for the digest library 549 1d ago not_enough_syntax cargo 0.1.7 clean Various utilities for easier work with Rust syntax. 549 2d ago halley-ipc cargo 0.7.0 clean Inter-process communication protocol for the Halley Wayland compositor 548 3d ago owl-dl-saturation cargo 0.4.36 clean Consequence-based saturation engine for the EL fragment, used by rustdl 545 3d ago kurbu5-rs cargo not built 0.1.5 did not build Safe, idiomatic Rust API for writing MIT Kerberos non-KDB plugin modules 544 2d ago ikigai-passkey cargo 0.1.39 clean A minimal single-user WebAuthn (ES256) assertion verifier: check a passkey assertion against one registered credential — origin, RP-ID, challenge,… 542 2d ago supercov-engine cargo 3.0.5 clean Rust instrumentation, evidence, attribution, and query engine for Supercov 541 1d ago telemetry-init cargo 0.1.2 clean One-call observability bootstrap for Rust services — tracing + metrics + OTLP wired with estate defaults 537 1d ago trojan-rs cargo 0.15.0 clean A Rust implementation of the Trojan protocol (re-exports trojan crate) 535 1d ago degenbot-decoders cargo 0.6.0-alpha.14 clean Pure-Rust Uniswap V2/V3/V4 event-log decoders (alloy-only leaf; no pyo3/tokio/degenbot-core). 533 1d ago fflib cargo 1.0.0 clean Prosta biblioteka Rust z funkcjami geometrycznymi i matematycznymi 533 1d ago zenith-layout cargo 0.0.10 clean Zenith text shaping and font metrics (rustybuzz + ttf-parser). 528 11h ago shiguredo_container cargo 2026.1.1 clean Runtime-agnostic container library for Rust on macOS and Linux 525 2d ago engenho-kube-client cargo 0.53.130 clean Reqwest-backed implementation of engenho-types' KubeClient + Watcher traits. Speaks the upstream Kubernetes REST API over HTTPS with rustls + the four standard… 524 5h ago libmandoc-rs cargo 0.12.0 clean Safe Rust interface to the vendored libmandoc parser and reference renderers 514 1d ago SEDSnet cargo 4.1.0 clean A memory safe, no_std-capable networking stack with routing, discovery, reliability, and Rust/C/Python bindings. 513 3d ago owl-dl-tableau cargo 0.4.36 clean Tableau-based reasoning engine for SROIQ used by rustdl 510 3d ago aprender-ptx-debug cargo 0.70.2 clean Pure Rust PTX debugging and static analysis tool 509 1d ago quick-noise cargo 0.3.0 clean Blazingly fast SIMD procedural noise library for batch and uniform grid sampling with runtime feature detection on stable Rust 508 2d ago dispocheck cargo 0.2.32 clean Fast, production-ready disposable email detection for Rust with compile-time optimized lookups. 506 3d ago tank-mysql cargo 0.44.0 clean MySQL and MaridDB driver implementation for Tank: the Rust data layer 498 2d ago fc-gpui-derive-refineable cargo 0.6.0 clean A derive macro for creating refinement types in Rust (originally from Zed - github.com/zed-industries/zed) 497 3d ago ulua-common cargo 0.1.7 clean Core types, flags, and shared utilities for the ulua Luau-in-Rust toolchain. 493 8h ago 