synth-opt cargo 0.81.0 clean Peephole optimization passes for the Synth compiler 4.8K 9h ago synth-synthesis cargo 0.81.0 clean WASM-to-ARM instruction selection and peephole optimizer 4.5K 11h ago synth-backend-riscv cargo 0.81.0 clean RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth 3.1K 7h ago synth-backend cargo 0.81.0 clean ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration 3.1K 7h ago synth-frontend cargo 0.81.0 clean WASM/WAT parser and module decoder frontend for the Synth compiler 3.0K 7h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 9h ago synth-backend-awsm cargo 0.81.0 clean aWsm backend integration for the Synth compiler 2.6K 7h ago synth-backend-wasker cargo 0.81.0 clean Wasker backend integration for the Synth compiler 2.6K 7h ago synth-cli cargo 0.81.0 clean CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler 2.4K 6h ago ohos-enum-derive cargo 0.1.2 clean enum convert tool for rust and openharmony 2.4K 1h ago fakecloud-cloudwatch cargo 0.49.0 clean AWS CloudWatch metrics + alarms implementation for FakeCloud 2.1K 2d ago lingxia-webview cargo 0.21.0 clean WebView abstraction layer for LingXia framework (Android, iOS, HarmonyOS, Windows) 2.0K 16h ago lingxia-platform cargo 0.21.0 clean Platform abstraction layer for LingXia framework (Android, iOS, HarmonyOS) 1.8K 16h ago synth-backend-aarch64 cargo 0.81.0 clean AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538) 1.6K 7h ago lingxia cargo 0.21.0 clean LingXia - Cross-platform LxApp (lightweight application) framework for Android, iOS, macOS, HarmonyOS, and Windows 1.4K 16h ago claudectl cargo 0.67.0 8 vulnerabilities 8 Orchestrate a swarm of Claude Code agents with a local-LLM brain that learns from you. 1.3K 5h ago wicked-estate-overlay cargo 0.21.0 clean Lane X — the xedge cross-store overlay + OverlayReader: GraphRead that unions a home engine with foreign engines at read time (the cross-store about-arm… 1.2K 1d ago motedb cargo 0.12.1 4 vulnerabilities 4 AI-native embedded multimodal database for embodied intelligence (robots, AR glasses, industrial arms). 364 21h ago degenbot-executor cargo 0.6.0-alpha.14 clean Pure-Rust cmd-executor domain — simulation warmup-slot storage math (Solidity mapping-slot keccak layout). 294 8h ago tuiba-core cargo 0.11.0 clean Game Boy Advance emulator core: ARM7TDMI CPU, memory bus, PPU, timers 183 17h ago zygo-core cargo 0.1.6 clean Daemonless, rootless, OCI-compatible warm sandbox runtime — core library 83 1d ago car-fleet cargo 0.56.1 clean Composite inventory of the CAR agents, capabilities and models reachable across a fleet of instances, and the wire contract for farming verified coding… 71 10h ago degenbot-cli-core cargo 0.6.0-alpha.14 clean Command semantics + the database command arms for the degenbot console (ADR-051 D1) - pyo3-free and clap-free. 47 8h 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 8h ago scx-cli cargo 0.4.1 6 vulnerabilities 6 Swiss-army knife for single-cell data formats 29 1d ago rigless-rtos cargo 0.1.0 clean A firmware kernel's threads as a debugger shows them: ChibiOS/RT and FreeRTOS on ARMv7-M, walked through memory reads alone 24 2d ago 