takibi-lang/takibi

Research systems language and Linux-ABI-compatible kernel exploring compile-time checks for kernel failures with refinement types and affine ownership. Runs Alpine BusyBox on QEMU/AArch64 and Raspberry Pi 5. Compiler: OCaml + LLVM.

语言：OCaml · GitHub 星标：4 · Fork：1

话题：arm · compiler · embedded · ethernet · kernel · language · linux · llvm

在 GitHub 上查看原仓库