fusion-pcu-mlx cargo 0.0.9 clean Explicit MLX-owned checked dispatch and delegated GPU tensors for Fusion PCU 60 2d ago wickra-zk cargo not built 0.2.0 did not build Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. 58 4d ago ferryman-core cargo 0.2.3 clean Lock-free circuit breaker, prefix routing table, hot-reloadable TOML config and active health checks for the ferryman reverse proxy. 55 4d ago sprawling-storage cargo 0.0.11 clean The append-only, hash-chained Ledger of a sprawling city, its content store, checkpoints and worktrees. 54 1d ago tabnas-gbnf cargo 0.1.18 clean llama.cpp GBNF grammar compiler for the tabnas parsing engine: GBNF text in, tabnas GrammarSpec out, plus the inverse renderer and the gbnf-check validator 53 4h ago tsr_project cargo 0.4.0 clean Checker ownership and project slot lifetimes for tsr 52 1d ago skim-cli cargo 0.7.0 clean Syntax-aware source skimming and documentation-budget checks 50 15h ago echovalidum cargo 0.4.0 clean Echovalidum's Rust hot path, in Python and in the browser: trust-coherence lattice cells, the interval domain, and capability-checked 64-bit memory 49 2d ago typelisp-front cargo 0.2.1 clean Type checker, interpreter, module loader and standard library of typelisp. Internal crate of typelisp; not meant to be used directly. 47 2d ago aprender-update cargo 0.70.3 clean Update check and self-update for sovereign binaries: newer of release and green nightly, sha256-verified, atomic swap 46 1d ago arcbox-computer-runtime cargo 0.9.0 clean Sandbox orchestration over nested microVMs behind the arcbox-vm-driver port: boot, exec, files, checkpoints, warm pools. The in-sandbox init is… 43 3d ago mf2-macros cargo 3.0.0 clean The tr! proc-macro: a call site checked against the manifest at compile time and lowered to a positional description of the message. 42 2d ago saccade-a11y cargo 0.3.0 clean Offline accessibility pre-checks for images: contrast, legibility, missing glyphs and colour-vision loss 39 14h ago arcbox-fc-driver cargo not built 0.9.0 did not build The Firecracker adapter for the arcbox-vm-driver port: renders a VmSpec into Firecracker API payloads and jailer-relative paths, owns the VMM process, and… 38 3d ago atrius-index cargo 0.2.0 clean A code search index: ripgrep's exact results from a trigram index, definitions and uses, fragments and outlines, and plain English passage search, kept fresh… 38 1d ago china_identification_card cargo 10.2.4 clean A Rust library for validating Chinese identification card numbers based on official rules and checksums. 38 7h ago vgi-bridge cargo not built 0.18.1 did not build The per-community VGI bridge: holds the community's forge credentials, takes git-ns/bridge jobs from its VTC over TSP or DIDComm, runs the forge adapters,… 38 4d ago asbuilt-core cargo 0.3.0 clean Language-agnostic architecture model, LikeC4 emitter, config and drift check for asbuilt 36 1d ago raddy-proxy cargo 0.4.0 clean Reverse proxy, load balancers, health checks, and forward proxy for Raddy 36 2d ago typed-docs cargo 0.1.2 clean Machine-checked source ownership and evidence for Markdown documentation 35 4d ago ce-stream-core cargo 0.4.2 clean CloudEvents model, checkpoints, and source/sink traits for ce-stream 34 1d ago echovalidum-memory cargo 0.2.1 clean Client-side memory: a visitor's record kept on their side in capability-checked 64-bit memory, as My Card on echovalidum.com runs it 34 5d ago agape-light cargo 0.4.0 clean Agapao's light client: the types and checks a verifier needs to follow Agapao's validators and prove its state 31 4h ago fv-streams-state cargo 0.7.0 clean The checkpoint state of FusionVault Streams: epochs, manifests and the epoch store — in memory, or an object store (local directory, S3) — the durable half of… 30 4d ago migratr-format cargo 0.1.2 clean The migratr migration file format: types, parser and checksum. 30 2d ago everruns-durable-engine cargo 0.47.0 clean Durable turn backend for Everruns: agent turns as queued, checkpointed steps on everruns-durable behind core's TurnBackend 28 1d ago superfluid-adapter-kit cargo 0.1.2 clean What every superfluid runtime adapter is built from: the Runtime trait, the worker executable's main, the check report, installing a runtime from its own… 28 2d ago fbui-widgets cargo 0.5.0 clean fbui widget toolkit: a retained widget tree with an Elm-ish update(msg) -> state -> damage -> paint loop, taffy flexbox/grid layout, and a software-rendered… 27 4d ago jlens-cli cargo 0.4.0 clean Command-line interface for jlens: evaluate, check and explain JSONata expressions 27 1h ago aegisvision-pretrain cargo not built 0.3.0 did not build AegisVision 预训练权重层：原生权重格式（哈希校验+元信息）与外部 PyTorch safetensors 导入适配 26 2d ago 