takibitakibi-lang
新收录Takibi 是一个研究性系统语言及其配套的 Linux-ABI 兼容单体内核。该项目旨在通过精化类型（refinement types）和仿射所有权（affine ownership），将内核运行时的故障转化为编译时错误，从而提升系统稳定性。
OPEN SOURCE, OPEN TO EVERYONE
好开源，值得被发现。
发现优质开源项目，匿名提交开源项目，认领编辑你的开源项目。
✳人工精选 · 发现好开源4108已发现
带着好奇心，发现开源世界。
THE FIRST COLLECTION明日之星
星标少于 10，最近 30 天至少更新 5 次，代表作者持续用心维护。
Topic: qemu清除