unnameableBananaChristian
新收录Unnameable是一个实验性的编程语言编译器，由Rust编写，具有多阶段管道，从源代码到HIR（高级中间表示））进行语义分析。代码生成仍在开发中。
OPEN SOURCE, OPEN TO EVERYONE
好开源，值得被发现。
发现优质开源项目，匿名提交开源项目，认领编辑你的开源项目。
✳人工精选 · 发现好开源4109已发现
带着好奇心，发现开源世界。
THE FIRST COLLECTIONTopic: llvm-ir清除
takibitakibi-lang
新收录Takibi 是一个研究性系统语言及其配套的 Linux-ABI 兼容单体内核。该项目旨在通过精化类型（refinement types）和仿射所有权（affine ownership），将内核运行时的故障转化为编译时错误，从而提升系统稳定性。