takibitakibi-lang
ADDEDTakibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.
OPEN SOURCE, OPEN TO EVERYONE
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
✳Human-curated · Discover open source3995discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: llvm-ir清除
unnameableBananaChristian
ADDEDUnnameable is an experimental programming language compiler written in Rust, featuring a multi-stage pipeline from source to HIR with semantic analysis, while code generation is in development.