takibitakibi-lang
신규Takibi는 정제 타입(refinement types)과 어파인 소유권(affine ownership)을 사용하여 커널 런타임 오류를 컴파일 타임 오류로 전환하도록 설계된 연구용 시스템 언어이자 Linux-ABI 호환 모놀리틱 커널입니다.
우수한 오픈 소스 프로젝트를 발견하고, 익명으로 프로젝트를 제출하며, 내 프로젝트를 신청해 편집하세요.
호기심으로 오픈 소스의 세계를 발견하세요.
THE FIRST COLLECTION