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 source4109discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONRising stars
Less than 10 stars, 5+ commits in the last 30 days — projects made with care.
Topic: http-server清除