aarch64

Speech-to-text, text-to-speech, speaker diarization, speech enhancement, source separation, and VAD using next-gen Kaldi with onnxruntime without Internet connection. Support embedded systems, Android, iOS, HarmonyOS, Raspberry Pi, RISC-V, RK NPU, Axera NPU, Ascend NPU, x86_64 servers, websocket ser

Modern, secure, portable, multiprotocol bootloader and boot manager.

A clean-room compiler construction framework in pure Rust: typed SSA IR with SMT-verified optimizations, backends for x86-64, AArch64, RISC-V, Cortex-M, AVR and wasm32, a JIT, ELF/COFF/Mach-O output, and lf-cc, a C compiler that builds SQLite.