Search 7,174 packages
Packages whose latest build: compiled C/C++
| Packages4,651–4,680 of 7,174 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| discrtree cargo | 0.65.0 | clean | Find Lean declarations by shape and lift them into a proof | 446 | 4d ago |
| hopf-dns cargo | 0.5.0 | clean | DNS stub resolver, caching forwarder and authoritative server for Hopf (UDP/TCP/DoT/DoQ/DoH) | 446 | 1d ago |
| agntcy-shadi-mas cargo | 0.5.0 | clean | Coordination runtime for SHADI multi-agent systems. | 445 | 2d ago |
| cooldown-cargo cargo | 0.0.25 | clean | Rust/Cargo tool adapter for cooldown: Cargo.lock + crates.io publish times, with cargo-driven resolution/apply. | 445 | 1d ago |
| cooldown-go cargo | 0.0.25 | clean | Go tool adapter for cooldown: GOPROXY publish-time reads, x/mod semver/pseudo-version semantics, and go-driven resolution/apply. | 445 | 1d ago |
| kaniop-backup-core cargo | 0.18.0 | clean | Shared backup types, manifest schema, repository paths and retention for the Kanidm operator | 445 | 17h ago |
| megaspace-pipeliner cargo | 0.3.0 | clean | Static site generator pipeline with markdown, post feeds, and RSS | 444 | 1d ago |
| melin-server-runtime cargo | 0.19.0 | clean | Application-agnostic server runtime with accept loop, journaling, replication, and optional DPDK transport | 444 | 1d ago |
| tishlang_apple_common cargo | 2.0.0 | clean | Shared tag/style/handler helpers for tish-macos and tish-ios | 444 | 4d ago |
| roughenough-client cargo | 2.2.0 | clean | Command-line Roughtime client for querying time servers | 443 | 3h ago |
| cooldown-swift cargo | 0.0.25 | clean | Swift Package Manager tool adapter for cooldown: Package.resolved backed by GitHub Releases publish times. | 442 | 1d ago |
| subduction_ephemeral cargo | 0.9.0 | clean | Ephemeral (non-persisted) messaging for Subduction | 442 | 4d ago |
| cooldown-npm cargo | 0.0.25 | clean | JavaScript/TypeScript tool adapters for cooldown: npm, pnpm, yarn, and bun lockfiles backed by registry.npmjs.org publish times. | 441 | 1d ago |
| derec-proto cargo | not built 0.0.7 did not build | Generated Rust protobuf types for the DeRec protocol. | 441 | 4d ago | |
| mqdb-agent cargo | 0.8.35 | clean | Standalone MQTT broker agent with embedded database for MQDB | 441 | 1d ago |
| ffai-diana cargo | 0.8.0 | clean | Diana — FFai's detection component (YOLO26 on candle, pure Rust) | 440 | 2d ago |
| owl-dl-reasoner cargo | 0.4.38 | clean | Hybrid saturation+tableau OWL DL reasoner — public API for rustdl | 440 | 11h ago |
| rtb-docs cargo | 0.9.2 | clean | Interactive docs browser, embedded-HTML docs-serve server, and AI Q&A seam. Part of the phpboyscout Rust toolkit. | 440 | 11h ago |
| cooldown-rubygems cargo | 0.0.25 | clean | Ruby/Bundler tool adapter for cooldown: Gemfile.lock + rubygems.org publish times (created_at). | 439 | 1d ago |
| gaise-provider-vertexai cargo | 4.3.0 | clean | Google Vertex AI provider for GAISe — Gemini models via Vertex AI endpoints | 439 | 1d ago |
| dear-imgui-test-engine cargo | 0.19.0 | clean | Safe Rust wrapper for Dear ImGui Test Engine | 438 | 1d ago |
| ironflow-ops-helm cargo | 0.1.32 | clean | Helm operations for Ironflow workflows, wrapping the Helm CLI | 438 | 4d ago |
| r2e-http cargo | 0.6.0 | clean | HTTP abstraction layer for R2E - sole owner of the axum dependency | 438 | 1d ago |
| teksilo-async-std cargo | 0.16.0 | clean | async-std reactor integration for Teksilo's main-thread async executor (teksilo-async). | 438 | 1d ago |
| tokeira-config cargo | 0.6.0 | clean | Configuration model and loader for Tokeira servers and the embedded engine | 438 | 12h ago |
| ironflow-ops-grafana cargo | 0.1.33 | clean | Grafana operations for Ironflow workflows, using direct HTTP calls | 437 | 4d ago |
| lanekeep-lang-rust cargo | 0.14.0 | clean | Rust language support for lanekeep. | 437 | 1d ago |
| lvz-agent cargo | 0.1.12 | clean | The Lavoisier reasoning loop: plan→act→observe, provider- and gateway-agnostic. | 437 | 1d ago |
| rvoip-amazon-connect cargo | not built 0.4.0 did not build | rvoip-core Amazon Connect interop adapter — StartWebRTCContact + Amazon Chime SDK WebRTC media, with SIP-header → contact-attribute translation for agent… | 437 | 1h ago | |
| babelforce-manager-sdk cargo | 0.47.0 | clean | Rust SDK for the babelforce manager APIs — auth, user & agent management, call reporting, metrics, and task automations. | 436 | 5h ago |