kaiv cargo 0.15.0 none none Reference implementation of the kaiv format (Levels 0-3): lexer, compiler, denormalizer, schema compiler, validator 3.3K 9d ago keplerian cargo 0.4.0 none none Domain-agnostic Keplerian dynamics: typed anomaly solvers, elements, propagation, Lambert, and transfer search. 3.3K 4d ago teaql-runtime cargo 5.0.7 none none TeaQL core, SQL, runtime, dialect, and macro crates for model-driven data access 3.3K 3d ago virtfw-igvm-tools cargo 0.2.6 none none igvm related linux applications 3.3K 1d ago arete-server cargo 0.41.2 none none WebSocket server and projection handlers for Arete streaming pipelines 3.3K 2d ago sp1-gpu-cudart cargo 6.9.0 8 detections 8 none High-level Rust API for SP1 GPU operations 3.3K 6d ago principia cargo 0.6.0 none none Typed Newtonian numerical dynamics: state propagation, acceleration models, RK4/DOPRI5/DOP853 integrators, variational equations, STM, covariance, and… 3.2K 3d ago rucc-object cargo 0.30.6 none none ELF, Mach-O, COFF and wasm object writers. 3.2K 1d ago symbi cargo – 1.21.1 did not build – AI-native agent framework for building autonomous, policy-aware agents that can safely collaborate with humans, other agents, and large language models 3.2K 8d ago gtd-mcp cargo 0.8.4 none none A Model Context Protocol (MCP) server for GTD (Getting Things Done) task management 3.2K 7h ago adk-rag cargo 2.3.0 none none Retrieval-Augmented Generation for Rust Agent Development Kit (ADK-Rust) agents 3.2K 6d ago nirs4all-io-core cargo 0.2.6 none none Pure logic for nirs4all-io: DatasetSpec IR, selectors, conventions, inference over a neutral file/table description, canonical JSON. No file IO, no formats… 3.2K 9d ago synth-backend-riscv cargo 0.87.0 none none RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth 3.2K 4h ago ginger-rs cargo 0.1.7 none none Parallel Bairstow Root-finding Method in Rust 3.2K 7d ago thru-client cargo – 0.4.2 did not build – High-level gRPC client library for the Thru blockchain 3.2K 2d ago synth-backend cargo 0.87.0 none none ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration 3.2K 4h ago benzin cargo 0.7.0 none none An async extension for Diesel the safe, extensible ORM and Query Builder 3.2K 9d ago teaql-data-service cargo 5.0.7 none none TeaQL core, SQL, runtime, dialect, and macro crates for model-driven data access 3.2K 3d ago moq-tokio cargo 0.19.27 none none Media over QUIC - Tokio connection helpers 3.2K 2h ago eggress-routing cargo 1.0.12 none none Rule-based routing and upstream selection for eggress 3.1K 7d ago monochange_schema cargo 0.10.0 none none Durable JSON schemas and migration helpers for monochange artifacts 3.1K 7d ago cosca cargo 0.5.0 none none Unified cross-platform subprocess management: spawning, stdio, process trees, stable identity, and elevation. 3.1K 5d ago dactyl-db cargo 0.11.0 none none Interchangeably read and write to a lightweight Rust local store or cloud-hosted Vercel Neon instances behind one facade. 3.1K 5d ago node-app-build cargo 7.6.15 none high Mini app developer CLI: scaffold, validate, package node-app-* Debian packages 3.1K 13h ago cargo-each cargo 0.5.0 none none A cargo subcommand that runs a command over a cargo-style selection of workspace members 3.1K 1d ago nvpn-fips-tcp cargo 0.2.6 none none TCP reliable streams over authenticated FIPS datagrams 3.1K 4d ago dpp-domain cargo 0.22.0 none none EU Digital Product Passport domain types, port traits, and per-field disclosure policy 3.1K 7h ago rust_nb cargo 0.1.1 none none A simple but generic Naive Bayes Model in Rust. 3.1K 7d ago termproof cargo 0.4.3 none none Evidence-first verification for TUI and terminal applications: recipe model, schema, steps, assertions, orchestration, terminal sessions and the evidence… 3.1K 4d ago baracuda-cutlass cargo 0.0.1-alpha.112 medium none Safe Rust wrapper for compiled CUTLASS kernels: plan-based GEMM and grouped GEMM with caller-supplied workspace, typed device-buffer arguments, and… 3.1K 21m ago 