| lungo-cli cargo | 1.112.74 | none | high | The lungo command: generate C, Go, Python, Swift, TypeScript and Rust from Lean programs | 48 | 1d ago |
| lungo-driver cargo | 1.112.74 | none | none | The language-neutral lungo pipeline: builds a Lake project and analyses its compiled program. An internal part of lungo: depend on `lungo` and `lungo-build`. | 83 | 1d ago |
| lungo-build cargo | 1.112.74 | none | none | Compiles Lean projects into Rust at Cargo build time | 89 | 1d ago |
| lungo-protocol cargo | 1.112.74 | none | none | The versioned protocol between lungo-build and its Lean worker. An internal part of lungo: depend on `lungo` and `lungo-build`. | 152 | 1d ago |
| emuchip-8 cargo | 0.1.0 | none | none | Platform-agnostic CHIP-8 interpreter core: no_std, no dependencies | 14 | 1d ago |
| solid-pod-rs-forge cargo | 0.5.0-alpha.14 | none | none | Clean-room Rust Git forge (Gogs/Gitea slice) composed on solid-pod-rs primitives: pod-native issues/PRs, forge push tokens, hosted did:nostr bodies, and… | 132 | 1d ago |
| iluvatar cargo | 0.7.0 | none | none | Random access into compressed streams and tar/cpio/ar archives via indexing and decompression checkpoints | 508 | 1d ago |
| graphcal-report cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 225 | 1d ago |
| graphcal-plugin-macros cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 396 | 1d ago |
| graphcal-lsp cargo | 0.0.1-alpha.39 | none | none | Language Server Protocol implementation for Graphcal | 628 | 1d ago |
| rightkit-license cargo | 0.2.3 | none | none | Right Suite license enforcement primitive — offline verification of server-signed Ed25519 entitlement tokens. The Rust (security) half of @rightkit/license. | 172 | 1d ago |
| graphcal-fmt cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 761 | 1d ago |
| graphcal-plugin-host cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 553 | 1d ago |
| graphcal-plugin-abi cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 705 | 1d ago |
| graphcal-package cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 992 | 1d ago |
| graphcal-eval cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 1.0K | 1d ago |
| bsv-tracker cargo | 0.6.0 | none | none | A transaction evidence state machine with host supplied headers, proofs, hints and time | 84 | 1d ago |
| graphcal-compiler cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 1.3K | 1d ago |
| graphcal-ast-derive cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 114 | 1d ago |
| graphcal-project cargo | 0.0.1-alpha.39 | none | none | Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations | 97 | 1d ago |
| ff-rdp-core cargo | 0.4.2 | none | none | Core library for Firefox Remote Debugging Protocol over TCP | 166 | 1d ago |
| vex-search-mcp cargo | 1.28.0 | none | low | MCP (Model Context Protocol) stdio server exposing the vex code-search CLI to AI agents | 27 | 1d ago |
| rustible-macros cargo | 0.9.0 | none | none | Proc macros for Rustible playbooks (#[rustible::playbook], #[rustible::vars]). Use through the `rustible` crate. | 221 | 1d ago |
| rightkit-crash cargo | 0.3.3 | none | high | Privacy-first panic capture, redacted crash reports, native dumps and support bundles for Right Suite apps. | 39 | 1d ago |
| triplex-modelcard cargo | 0.43.1 | none | none | Fairness and slice metrics for a binary classifier, computed from a predictions file, with a deterministic report. | 12 | 1d ago |
| bkndb-core cargo | 0.2.3 | none | none | Core primitives, hybrid transactions, and storage interfaces for BknDb | 123 | 1d ago |
| triplex-mcp cargo | 0.43.1 | none | low | Local MCP server (stdio) that lets AI agents infer and validate Triplex schema contracts on local files. | 9 | 1d ago |
| manabrew-relay-protocol cargo | 5.17.1 | none | none | Relay wire protocol for manabrew multiplayer | 1.3K | 1d ago |
| triplex cargo | 0.43.1 | none | low | The triplex command-line tool: schema contracts, pseudonymization, synthetic data, privacy-risk scoring and drift checks on local files. | 10 | 1d ago |
| manabrew-protocol cargo | 5.15.0 | none | none | Engine-free game DTOs shared by manabrew clients | 5.0K | 1d ago |
