| 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 | 14h ago |
| sandbox-agent-agent-management cargo | | – 0.5.3 did not build | – | Universal API for automatic coding agents in sandboxes. Supports Claude Code, Codex, OpenCode, and Amp. | 1.5K | 3h ago |
| cratestack-api cargo | 0.15.4 | none | none | CrateStack server facade for procedures-only, no-database services — Axum HTTP bindings, generated Rust client runtime, and the shared schema/parser/policy/SQL… | 1.5K | 2d 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 |
| 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 | 5d ago |
| sandbox-agent-error cargo | 0.5.3 | none | none | Universal API for automatic coding agents in sandboxes. Supports Claude Code, Codex, OpenCode, and Amp. | 1.5K | 3h ago |
| monochange_semver cargo | 0.18.0 | none | none | Compatibility and semver helpers for monochange | 1.5K | 5d ago |
| scv-protocol cargo | 0.3.14 | none | none | Versioned JSON protocol types for SCV clients and servers | 1.4K | 4d ago |
| gaze-pii cargo | 0.16.0 | none | none | Reversible PII pseudonymization runtime for agentic workflows | 1.4K | 5d ago |
| gen cargo | | – 0.4.0 did not build | – | A sequence graph and version control system. | 1.4K | 3h ago |
| antecedent-graph cargo | 2.3.0 | none | none | Causal graph types (DAG, ADMG, CPDAG, PAG, temporal), separation queries, and traversal workspaces for the Antecedent engine; start with the `antecedent` crate | 1.4K | 2d ago |
| pixellint-core cargo | 0.44.1 | none | none | Pixellint core: spec-backed validation engine and declarative rulepacks for pixels, postbacks, conversion API payloads, and tracking URLs | 1.4K | 1d ago |
| crabka-voters cargo | 0.4.1 | none | none | KIP-853 voter-set value types for Crabka (id, directory-id, endpoints, kraft.version) | 1.4K | 7d ago |
| heddle-cli-args cargo | 0.31.2 | none | none | Heddle's command-line argument surface. | 1.4K | 14h ago |
| packset-core cargo | 0.15.0 | none | none | Atom schema, named fuse/diversify panel, decay, extract filters | 1.3K | 7h ago |
| runyte cargo | 0.4.0 | none | none | A fast modal terminal editor with selection-first editing, tree-sitter highlighting, and language servers | 1.3K | 7d ago |
| shuck-run cargo | 0.2.4 | none | none | Managed shell interpreter resolution for shuck | 1.3K | 3d ago |
| prikk cargo | 0.51.0 | none | none | A standalone distributed version control system built around block-oriented patch theory. | 1.3K | 1d ago |
| pleiades-types cargo | 0.6.0 | none | none | Shared typed vocabulary for the pleiades astrology workspace: angles, bodies, time scales, observers, coordinates, zodiac modes, house systems, and ayanamsas. | 1.3K | 6d ago |
| wicked-estate-resolve cargo | 0.29.2 | none | none | Cross-file and cross-language reference resolvers for wicked-estate. | 1.3K | 2d ago |
| teksilo-settings cargo | 0.17.1 | none | none | Persistent reactive settings for Teksilo — key-value store, versioned setting files, MRU lists and window state. | 1.3K | 12h ago |
| fathomdb-schema cargo | 0.8.27 | none | none | FathomDB schema — versioned migration registry and bootstrap (leaf crate). | 1.3K | 2d ago |
| rez-next-context cargo | 0.3.12 | none | none | Context management and environment generation for Rez Core | 1.3K | 18h ago |
| heddle-mount cargo | 0.31.2 | none | none | An AI-native version control system | 1.2K | 7h ago |
| dekopon-protocol cargo | 0.46.1 | none | none | Versioned resource types shared by Dekopon clients and runtimes | 1.2K | 1d ago |
| neomind-extension-sdk cargo | 0.8.0 | none | none | Unified SDK for developing NeoMind Edge AI Platform extensions with ABI Version 3 | 1.2K | 2d ago |
| ruda-solver cargo | 0.1.96 | none | none | Explicit scientific solvers: real/complex/sparse host algebra and opt-in small batched device kernels | 1.2K | 1d ago |
| heddle-env-store cargo | 0.31.2 | none | none | Local confidential-runtime env-store (encrypted secrets for `heddle env run`, ADR 0051 / heddle#999). | 1.2K | 9h ago |
