takibitakibi-lang
新着Takibiは、リファインメント型とアフィン所有権を用いて、カーネルの実行時エラーをコンパイル時エラーに変換することを目指した、研究用システム言語およびLinux-ABI互換のモノリシックカーネルです。
OPEN SOURCE, OPEN TO EVERYONE
オープンソース。新しい可能性。
優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。
✳編集部選定 · 良いオープンソースを発見4109発見済み
好奇心とともに、オープンソースの世界へ。
THE FIRST COLLECTIONTopic: refinement清除