semverq cargo – 0.1.0 did not build – a cli tool for accessing semver structure 1.5K 5d ago cgx cargo 0.1.1 none 3 vulnerabilities 3 Rust equivalent of uvx or npx, for running Rust crates quickly and easily 1.5K 2d ago bitrouter-tui cargo 1.0.0-alpha.34 none none Terminal renderers for BitRouter operations and ACP agent sessions. 1.5K 3d ago lean-rs cargo – 0.9.4 did not build – Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic… 1.5K 23h ago tear-client cargo 0.1.43 none none Typed RPC client for tear-daemon. Consumed by the tear bin, mado (Tier 2 native-split mode), and third parties that want to drive tear sessions. 1.5K 5d ago detamu-language cargo 0.2.0 none none Code-language extension contracts for Detamu 1.5K 5d ago rust_ecdsa cargo 0.1.0 none none This is a utils library for working with the ECDSA digtal signature 1.5K 6d ago minijinja-lua cargo 0.6.0 none none a minijinja lua module using the minijinja rust crate 1.5K 10h ago pdfboss-text cargo 2.15.1 none none PDF text extraction in pure Rust: font loading, encodings, ToUnicode CMaps and positioned text spans 1.5K 2d ago detamu-query-code cargo 0.2.0 none none Code-world query facade for impact analysis and evidence gaps 1.5K 5d ago smolvm-network cargo 1.27.4 none none Host-side virtio-net runtime for smolvm 1.5K 10h ago wavekat-platform-client cargo 0.0.35 none none Rust client for the WaveKat platform — auth, sessions, artifact upload 1.5K 4d ago pigment cargo 0.1.2 none none All the colors of the web, by name – case-/space-/snake-insensitive 1.5K 6d ago ikigai-browse cargo 0.18.9 none none Repository browsing as ikigai resources: per-root tree / file / git-state / hash endpoints, an archived LLM explanation layer, W3C Web Annotations that… 1.5K 2h ago infino cargo – 0.11.5 did not build – A fast retrieval engine that stores data on object storage and runs SQL, full-text search, and vector search over it from a single system — search-on-Parquet. 1.5K 9h ago arch-satellite-syn cargo 0.34.0 none none Satellite syntax parsing and code generation tools 1.5K 6d ago detamu-source-git cargo 0.2.0 none none Deterministic Git repository source and code inventory for Detamu 1.5K 5d ago strop-syntax cargo 0.43.1 none none strop syntax: statically-linked tree-sitter highlighting, curated language registry 1.5K 5d ago lora-analyzer cargo 0.25.2 none none Semantic analysis for parsed Cypher queries in LoraDB. 1.5K 17h ago mirams-proc-macros cargo 0.1.1 none none Menhera.org Internet Resources Assignment Management System (proc-macros) 1.5K 8h ago libpetri-docgen cargo 11.0.0 none none Build-script helper for embedding Petri net diagrams in rustdoc (DOT + client-side viewer) 1.5K 5d ago g_math cargo 0.6.7 none none Multi-domain fixed-point arithmetic with geometric extension: Lie groups, manifolds, ODE solvers, tensors, fiber bundles — pure Rust, zero-float, deterministic 1.5K 8d ago xipher cargo 0.0.0 none none Xipher is a curated collection of cryptographic primitives written in Go to encrypt and decrypt data with optional compression. 1.5K 5d ago prikk-replay cargo 0.51.0 none none Replay and lifecycle semantics for Prikk repositories. Internal to the prikk CLI; its API may change without notice before 1.0. 1.5K 1d ago detamu cargo 0.2.0 none none Embeddable versioned world-model engine for agents and developer tools 1.5K 4d ago liblevenshtein cargo 4.0.0-rc.5 none none Levenshtein/Universal Automata for approximate string matching using various dictionary backends 1.5K 6d ago pkgsrc-kv-derive cargo 0.7.0 none none Derive macro for KEY=VALUE parsing 1.5K 8d ago antecedent-stats cargo 2.3.0 none none Statistical kernels, regression, and linear-algebra backends for the Antecedent causal inference engine; start with the `antecedent` crate 1.5K 3d ago ppoppo-token cargo 0.58.0 none none JWT (RFC 9068, EdDSA) issuance + verification engine for the Ppoppo ecosystem. Single deep module with a small interface (issue, verify) hiding RFC 8725… 1.5K 7h ago mssf-util cargo 0.10.0 none none mssf utilites and extensions for tokio and more 1.5K 8d ago 