Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

あっきぃ%9/13技書博14さ-04@akkiesoft@h.kokuda.org (2026-10-27 19:44:07)
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.
https://github.com/takibi-lang/takibi
Reply